白盒测试的一些方法

1 白盒测试

1.1逻辑覆盖

1.1.1语句覆盖：即使用足够多的测试用例，使得每一条语句至少被执行一次

1.1.2判定覆盖：设计足够多的测试用例，使得每一条分支语句的“真”和“假”都至少被执行一次

1.1.3条件覆盖：设计若干个测试用例，使得程序中每个判定里的每一个判定条件的所有可能取值条件至少被执行一次

1.1.4判定条件覆盖：设计若干个测试用例，使得程序中每个判定的每个条件的所有可能取值至少被执行一次，同时每个判定的所有可能判定取值至少执行一次。即同时满足判定覆盖和条件覆盖。

1.1.5条件组合覆盖：设计若干个测试用例，使得程序中每一个判定的所有可能条件取值组合都至少被执行一次。

1.1.6 路径覆盖：设计若干个测试用例，使得程序中所有可能的路径都至少执行一次

1.2基本路径测试

基本路径测试是一种吧覆盖的路径数据压缩到一定限度内的一种白盒测试方法

方法：

1.2.1 根据代码画出程序的控制流图

1.2.2 计算控制流图的复杂度 V(G)=E-N+2 E是流图中变的数量，N是流图中节点的数量

1.2.3 导出基本路径集

1.2.4 设计可强制执行的基本路径中每条路径的测试用例

1.2.5 循环路经测试覆盖