软件工程演示教学.ppt

判定-条件覆盖就是设计足够的测试用例，使得判断中每个分支至少执行一次，并且每个判断中的每个条件的可能取值至少执行一次。 能同时满足判定、条件两种覆盖标准的取值。 (4) 判定-条件覆盖 and or A1 T B=0 T X=X/A T F F A=2 T F X1 F X=X+1 测试用例 覆盖分支 条件取值 【(2,0,4)，(2,0,3)】 L1(4,6) 【(1,1,1)，(1,1,1)】 L2(2,3) (A1)and(B=0) (A=2)or(X1) X=X/A X=X+1 T T c b d e s 结束 开始 3 4 5 6 2 F F 7 a 1 and or A1 T B=0 T X=X/A T F F A=2 T F X1 F X=X+1 条件组合覆盖就是设计足够的测试用例，运行被测程序，使得每个判断的所有可能的条件取值组合至少执行一次。 记① A＞1, B＝0 作 　② A＞1, B≠0 作 　 ③ A≯1, B＝0 作 　 ④ A≯1, B≠0 作 　 ⑤ A＝2, X＞1 作 　 ⑥ A＝2, X≯1 作 　 　 ⑦ A≠2, X＞1 作