软件测试 forthday（白盒测试）

一、白盒测试的特性

1.白盒测试又称为结构测试、逻辑驱动测试或基于程序的测试。

2.也成为基于覆盖的测试。

3.黑盒测试在确认阶段、系统阶段进行；白盒测试在编码、集成测试阶段进行；

二、白盒测试的策略

1.桌前检查（Desk Check）：程序员自己检查；

2.同行评审（Peer Review）：小组内检查；

3.代码走查（Walkthrough）：走查小组检查；

4.静态分析（static analyse）

5.单元测试（Unit Testing）

三、逻辑覆盖测试的基本概念

1.e=（T（e），H（e））是一对有序的邻接结点，T（e）是尾，H（e）是头；

2.H（e）是T（e）的后继节点，T（e）是H（e）的前驱结点；

四、函数的控制流图

1.通常一个程序控制流图可表示为（N，E，entry，exit）；

2.简单通俗地说：控制流图即是具有单一的、固定的入口节点和出口节点的有向图；

五、控制流覆盖准则

1.语句覆盖准则：使得每一条可执行语句至少执行一次；

2.分支覆盖准则：每个判断的取真分支和取假分支至少执行一次；

3.原子谓词覆盖准则：每个复合谓词所包含的每一个原子谓词都至少获得一次“真”值和一次“假”值；

4.分支谓词覆盖准测：不仅每个复合谓词所包含的每一个原子谓词都至少获得一次“真”值和“假”值，而且每个复合谓词本身也至少获得一次“真”值和一次“假”值；

5.复合谓词覆盖准则：每个谓词中条件的各种可能都至少出现一次；

6.路径覆盖准则：所有可能路径；

六、代码审查和代码走查

七、强变异测试和弱变异测试