践：白盒测试之逻辑覆盖案例1.pptVIP

满足判定-条件覆盖的一组测试用例 A B X 路径 覆盖分支 覆盖条件 Case1 2 0 3 a c e c e T1 T2 T3 T4 Case8 1 1 1 a b d b d F1 F2 F3 F4 * (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c Case1：A=2, B=0, X=3 * Case8：A=1, B=1, X=1 (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c * 程序框图（条件组合覆盖） (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c * 5.条件组合覆盖 设计用例，使得每个判断表达式中条件的各种可能组合都至少出现一次； * 上例中需考虑4个条件的8种组合 ① A 1, B = 0 T1 T2 判定一为真 ② A 1, B≠0 T1 F2 ③ A≤1, B = 0 F1 T2 判定一为假 ④ A≤1, B≠0 F1 F2 ⑤ A = 2，X 1 T3 T4 ⑥ A = 2，X≤1 T3 F4 判定二为真 ⑦ A≠2，X＞1 F3 T4 ⑧ A≠2，X≤1 F3 F4 判定二为假 * 满足条件组合覆盖的一组测试用例 A B X 路径 覆盖组号 覆盖条件 Case1 T1 T2 T3 T4 Case8 T1 F2 T3 F4 Case9 F1 T2 F3 T4 Case10 F1 F2 F3 F4 * 满足条件组合覆盖的一组测试用例 A B X 路径 覆盖组号 覆盖条件 Case1 2 0 3 a c e ①⑤ T1 T2 T3 T4 Case8 2 1 1 a b e ② ⑥ T1 F2 T3 F4 Case9 1 0 3 a b e ③ ⑦ F1 T2 F3 T4 Case10 1 1 1 a b d ④ ⑧ F1 F2 F3 F4 * 程序框图（路径覆盖） (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c * 6.路径覆盖 设计足够多的测试用例，覆盖程序中的每条可能路径。 上述满足条件组合覆盖的测试用例不能覆盖路径acd。 * 满足路径覆盖的一组测试用例 用例 A B X 执行路径 Case1 ace Case7 abd Case8 abe Case11 acd * 满足路径覆盖的一组测试用例 用例 A B X 执行路径 Case1 2 0 3 ace Case7 1 0 1 abd Case8 2 1 1 abe Case11 3 0 1 acd * * Software Testing Software Testing Software Testing Software Testing Software Testing Software Testing 逻辑覆盖 语句覆盖 判定覆盖（分支覆盖） 条件覆盖 判定-条件覆盖 条件组合覆盖 路径覆盖 * 例子程序： if( (a1) (b==0)) x=x/a; if ((a==2) || (x1)) x=x+1; * 程序框图（语句覆盖） (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c * 1.语句覆盖 设计若干条测试用例，使程序中每条可执行语句至少执行一次。 用例 A B X 执行路径 Case1 ace Case2 abe √ × 语句覆盖 * 1.语句覆盖 设计若干条测试用例，使程序中每条可执行语句至少执行一次。 用例 A B X 执行路径 Case1 2 0 3 ace Case2 2 1 3 abe √ × 语句覆盖 * Case1：A=2, B=0, X=3 (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c 语句覆盖 * Case2：A=2, B=1, X=3 (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c 此语句未覆盖 语句覆盖 * Case1：A=2, B=0, X=3 (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c 错写成OR 错写成AND 语句覆盖