白盒测试设计方法

白盒测试设计方法

逻辑覆盖法

逻辑覆盖可分为：

1、语句覆盖：选取足够的测试用例来覆盖每一个语句，无法发现条件逻辑错误。
2、判定覆盖：每一个真假分支至少执行一次。

if(A)…if(B)…
A=true B=false
A=false B=true

3、条件覆盖：判定中每个条件的所有可能结果至少出现一次，但未必能覆盖全部分支。

int a,b;
if(a || b)
执行语句1
else
执行语句2

要达到这段程序的条件覆盖,我们采用测试用例:

1)a = true , b = false ;
2)a = false, b = true

4、条件/判定覆盖：每个条件的所有可能结果至少出现一次，并且每个判定的所有可能的结果至少出现一次。
5、条件组合覆盖：选择足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。
6、路径覆盖：每条路径都要覆盖一遍

基本路径覆盖测试法

1.画出程序控制流图