二白盒法(续)
?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