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

逻辑覆盖 语句覆盖 判定覆盖（分支覆盖） 条件覆盖 判定-条件覆盖 条件组合覆盖 路径覆盖 例子程序： if( (a1) (b==0)) x=x/a; if ((a==2) || (x1)) x=x+1; 程序框图（语句覆盖） 1.语句覆盖 1.语句覆盖 Case1：A=2, B=0, X=3 Case2：A=2, B=1, X=3 Case1：A=2, B=0, X=3 程序框图 (判定覆盖） 2. 判定覆盖（分支覆盖） 2. 判定覆盖（分支覆盖） 第一组：Case1：A=2, B=0, X=3 第二组：Case3：A=1, B=0, X=1 只作到判定覆盖将无法确定判定内部条件的错误。 Case4：A=3, B=0, X=3 Case5：A=2, B=1, X=1 程序框图（条件覆盖） 3.条件覆盖 设计若干测试用例，使程序的每个判定中的每个条件的可能取值至少满足一次 上例中设条件： A1 T1 F1 B=0 T2 F2 A=2 T3 F3 X1 T4 F4 满足条件覆盖的一组测试用例 满足条件覆盖的一组测试用例 Case6：A=2, B=1, X=1  Case7：A=1, B=0, X=3 两个测试用例覆盖了四个条件八种可能取值。但未覆盖c、d分支，不满足判定覆盖的要求。 程序框图（判定——条件覆盖） 4.判定-条件覆盖 使判定中每个条件的可能取值至少满足一次，并且使每个判定分支至少执行一次。 判定-条件覆盖能同时满足判定、条件两种覆盖标准。 满足判定-条件覆盖的一组测试用例 满足判定-条件覆盖的一组测试用例 Case1：A=2, B=0, X=3 Case8：A=1, B=1, X=1 程序框图（条件组合覆盖） 5.条件组合覆盖 设计用例，使得每个判断表达式中条件的各种可能组合都至少出现一次； 满足条件组合覆盖的一组测试用例 满足条件组合覆盖的一组测试用例 程序框图（路径覆盖） 6.路径覆盖 设计足够多的测试用例，覆盖程序中的每条可能路径。 上述满足条件组合覆盖的测试用例不能覆盖路径acd。 满足路径覆盖的一组测试用例 满足路径覆盖的一组测试用例 F1 F2 F3 F4 b d a b d 1 1 1 Case8 T1 T2 T3 T4 c e a c e 2 0 3 Case1 覆盖条件 覆盖分支 路径 A B X (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 (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c 上例中需考虑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 判定二为假 F1 T2 F3 T4 Case9 F1 F2 F3 F4 Case10 T1 F2 T3 F4 Case8 T1 T2 T3 T4 Case1 覆盖条件 覆盖组号 路径 A B X F1 T2 F3 T4 ③ ⑦ a b e 1 0 3 Case9 F1 F2 F3 F4 ④ ⑧ a b d 1 1 1 Case10 T1 F2 T3 F4 ② ⑥ a b e 2 1 1 Case8 T1 T2 T3 T4 ①⑤ a c e 2 0 3 Case1 覆盖条件 覆盖组号 路径 A B X (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c * * Software Testing * Software Testing * Software Testing * Software Testing * * Software Testing