测试用例ABX 通过路径 满足的条件 T1,T2,T3,T4 T1,T2,T3,T4 1 0 3 2 1 1 两个测试用例覆盖了四个条件八种可能取值。 未覆盖c、d分支，不满足判定覆盖的要求. 条件覆盖不一定包含判定覆盖 判定覆盖也不一定包含条件覆盖
abe abe 判定/条件覆盖
选取足够多的测试用例，使判断中的每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能判断结果至少执行一次.
? ? ? ?
测试用例通过的满足的覆盖的 A B X 路径条件分支
2 0 4 ace T1,T2,T3,T4 c,e 2 1 1 abd T1,T2,T3,T4 b,d
上述能同时满足判定、条件两种覆盖标准。
测试用例通过满足的覆盖 A B X 路径条件分支
2 0 3 ace T1,T2,T3,T4 c,e 2 1 1 abe T1,T2,T3,T4 b,e 1 0 3 abe T1,T2,T3,T4 b,e 1 1 1 abd T1,T2,T3,T4 b,d
条件组合覆盖
所有可能的条件取值组合至少执行一次
? 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 ? A≠2, X≯1
? 貌似不全！！！！：
?
? 测试用例 通过 ? A B X 路径
满足的 条件
覆盖 分支
? 2 0 4 ace T1,T2,T3,T4 c,e ? 2 1 1 abe T1,T2,T3,T4 b,e ? 1 0 2 abd T1,T2,T3,T4 b,d ? 1 1 1 abd T1,T2,T3,T4 b,d
路径覆盖
覆盖每一个可能的路径 测试用例通过满足的覆盖 A B X 路径条件分支
1 1 1 abd T1,T2,T3,T4 b,d 1 1 2 abe T1,T2,T3,T4 b,e 3 0 1 acd T1,T2,T3,T4 c,d 2 0 4 ace T1,T2,T3,T4 c,e