二白盒法(续)

?4 判定/条件覆盖

–执行足够多的测试用例，使得被测程序中的判定的每个条件的所有可能取值至少执行一次，同时每个判定本身的所有可能判定结果至少执行一次。

–是判定覆盖与条件覆盖的综合，但不能保证检查出逻辑表达式的全部错误。

–如：对于上例中A>1时检查B=0，而A<=1时，B=0就不去验证了。

49

二白盒法(续)

4 判定/条件覆盖(续)

–上例中，

开始aA>1 and B=0bYcX=X/AY测试用例通过满足的覆盖A B X 路径条件分支2 0 4 ace T1,T2,T3,T4 c,e1 1 1 abd F1,F2 F3,F4 b,d两个测试用例能同时满足判定、条件覆盖。

NA=2 or X>1dN返回eX=X+150