《实践白盒测试之逻辑覆盖案例》由会员分享，可在线阅读，更多相关《实践白盒测试之逻辑覆盖案例（36页珍藏版）》请在金锄头文库上搜索。
1、逻辑覆盖 n语句覆盖 n判定覆盖（分支覆盖） n条件覆盖 n判定-条件覆盖 n条件组合覆盖 n路径覆盖 例子程序： if( (a1) 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.语句覆盖 n设计若干条测试用例，使程序中每条 可执行语句至少执行一次。 用例 ABX 执行路径 Case1ace Case2abe 语句覆盖 1.语句覆盖 n设计若干条测试用例，使程序中每条 可执行语句至少执行一次。 用例 ABX 执行路径 Case1203ace Case2
2、213abe 语句覆盖 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 语句覆盖是最弱的覆盖 语句覆盖 程序框图
3、(判定覆盖） (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c 2. 判定覆盖（分支覆盖） n设计测试用例，使程序中的每个逻辑判 断的取真和取假的分支至少经历一次。 用例 ABX 执行路径 Case1ace Case3abd 2. 判定覆盖（分支覆盖） n设计测试用例，使程序中的每个逻辑判 断的取真和取假的分支至少经历一次。 用例 ABX 执行路径 Case1203ace Case3101abd 第一组：Case1：A=2, B=0, X=3 (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1
4、 e F F T T b d c 判定覆盖 第二组：Case3：A=1, B=0, 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 判定覆盖 n 只作到判定覆盖将无法确定判定内部条件的错误。 (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c 错写成X1) AND (B=0) (A=2) OR (X1) X=X/A X=X+1 e F F T T b d c 错写成X1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e
5、F F T T b d c 3.条件覆盖 n设计若干测试用例，使程序的每个判定 中的每个条件的可能取值至少满足一次 n上例中设条件： A1 T1 F1 B=0 T2 F2 A=2 T3 F3 X1 T4 F4 取真表为取假表为 n满足条件覆盖的一组测试用例 A B X 路径覆盖分支覆盖条件 Case6T1 F2 T3 F4 Case7F1 T2 F3 T4 3.条件覆盖 条件覆盖 n满足条件覆盖的一组测试用例 A B X 路径覆盖分支覆盖条件 Case62 1 1a b e b e T1 F2 T3 F4 Case71 0 3a b e b e F1 T2 F3 T4 3.条件覆盖 条件覆盖
6、Case6：A=2, B=1, X=1 Case7：A=1, 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 n 两个测试用例覆盖了四个条件八种可能取值。但 未覆盖c、d分支，不满足判定覆盖的要求。 条件覆盖 程序框图（判定条件覆盖） (A1) AND (B=0) (A=2) OR (X1) a X=X/A X=X+1 e F F T T b d c 4.判定-条件覆盖 n使判定中每个条件的可能取值至少满 足一次，并且使每个判定分支至少执 行一次。 n判定-条件覆盖能同时满足判定、条件 两种覆盖标准。 满足
7、判定-条件覆盖的一组测试用例 A B X 路径覆盖分支覆盖条件 Case1 c e T1 T2 T3 T4 Case8 b d F1 F2 F3 F4 满足判定-条件覆盖的一组测试用例 A B X 路径覆盖分支覆盖条件 Case12 0 3a c e c e T1 T2 T3 T4 Case81 1 1a 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
8、) 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.条件组合覆盖 n设计用例，使得每个判断表达式中条件 的各种可能组合都至少出现一次； n上例中需考虑4个条件的8种组合 A 1, B = 0 T1 T2 判定一为真 A 1, B0 T1 F2 A1, B = 0 F1 T2 判定一为假 A1, B0 F1 F2 A = 2，X 1 T3 T4 A = 2，X1 T3 F4 判定二为真 A2，X1 F3 T4 A2，X1 F3 F4 判定
9、二为假 满足条件组合覆盖的一组测试用例 A B X 路径 覆盖组号 覆盖条件 Case1T1 T2 T3 T4 Case8T1 F2 T3 F4 Case9F1 T2 F3 T4 Case10F1 F2 F3 F4 满足条件组合覆盖的一组测试用例 A B X 路径 覆盖组号 覆盖条件 Case12 0 3a c eT1 T2 T3 T4 Case82 1 1a b e T1 F2 T3 F4 Case91 0 3a b e F1 T2 F3 T4 Case101 1 1a 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.路径覆盖 n设计足够多的测试用例，覆盖程序中 的每条可能路径。 n上述满足条件组合覆盖的测试用例不 能覆盖路径acd。 满足路径覆盖的一组测试用例 用例 ABX 执行路径 Case1ace Case7abd Case8abe Case11acd 满足路径覆盖的一组测试用例 用例 ABX 执行路径 Case1203ace Case7101abd Case8211abe Case11301acd
