实践：白盒测试之逻辑覆盖案例1汇编

1、例子程序：例子程序：if( (a1) & (b=0) x=x/a; if (a=2) | (x1) x=x+1;程序框图（语句覆盖）程序框图（语句覆盖）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc1.1.语句覆盖语句覆盖n设计若干条测试用例，使程序中每条可执行语句至少执行一次。用例ABX执行路径Case1aceCase2abe语句覆盖1.1.语句覆盖语句覆盖n设计若干条测试用例，使程序中每条可执行语句至少执行一次。用例ABX执行路径Case1203aceCase2213abe语句覆盖Case1：A=2, B=0, X=3(A1) AND (B=0

2、)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc语句覆盖Case2：A=2, B=1, X=3(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc此语句未覆盖此语句未覆盖语句覆盖Case1：A=2, B=0, X=3(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc错写成错写成OR错写成错写成AND语句覆盖是最弱的覆盖语句覆盖是最弱的覆盖语句覆盖程序框图程序框图 (判定覆盖）判定覆盖）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc 2. 2. 判定覆

3、盖（分支覆盖）判定覆盖（分支覆盖）n设计测试用例，使程序中的每个逻辑判断的取真和取假的分支至少经历一次。用例ABX执行路径Case1aceCase3abd 2. 2. 判定覆盖（分支覆盖）判定覆盖（分支覆盖）n设计测试用例，使程序中的每个逻辑判断的取真和取假的分支至少经历一次。用例ABX执行路径Case1203aceCase3101abd第一组：Case1：A=2, B=0, X=3(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc判定覆盖第二组：Case3：A=1, B=0, X=1(A1) AND (B=0)(A=2) OR (X1)aX=X/AX

4、=X+1eFFTTbdc判定覆盖n 只作到判定覆盖将无法确定只作到判定覆盖将无法确定判定内部条件的错误。判定内部条件的错误。(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc错写成错写成X1) AND (B=0)(A=2) OR (X1)X=X/AX=X+1eFFTTbdc错写成错写成X1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc3.3.条件覆盖条件覆盖n设计若干测试用例，使程序的每个判定中的每个条件的可能取值至少满足一次n上例中设条件： A1 T1 F1 A1 T1 F1 B=0 T2 F2 B=0 T2

5、F2 A=2 T3 F3 A=2 T3 F3 X1 T4 F4 X1 T4 F4取真表为取真表为取假表为取假表为n满足条件覆盖的一组测试用例满足条件覆盖的一组测试用例A B X路径覆盖分支覆盖条件Case6T1 F2 T3 F4Case7F1 T2 F3 T43.3.条件覆盖条件覆盖条件覆盖n满足条件覆盖的一组测试用例满足条件覆盖的一组测试用例A B X路径覆盖分支覆盖条件Case62 1 1a b eb eT1 F2 T3 F4Case71 0 3a b eb eF1 T2 F3 T43.3.条件覆盖条件覆盖条件覆盖 Case6：A=2, B=1, X=1 Case7：A=1, B=0, X

6、=3(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdcn 两个测试用例覆盖了四个条件八种可能取值。但未覆盖c、d分支，不满足判定覆盖的要求。条件覆盖程序框图（判定程序框图（判定条件覆盖）条件覆盖）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc4.4.判定判定- -条件覆盖条件覆盖n使判定中每个条件的可能取值至少满足一次，并且使每个判定分支至少执行一次。n判定-条件覆盖能同时满足判定判定、条件条件两种覆盖标准。满足判定满足判定-条件覆盖的一组测试用例条件覆盖的一组测试用例A B X路径覆盖分支覆盖条件Case

7、1c eT1 T2 T3 T4Case8b dF1 F2 F3 F4满足判定满足判定-条件覆盖的一组测试用例条件覆盖的一组测试用例A B X路径覆盖分支覆盖条件Case12 0 3a c ec eT1 T2 T3 T4Case81 1 1a b db dF1 F2 F3 F4(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdcCase1：A=2, B=0, X=3Case8：A=1, B=1, X=1(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc程序框图（条件组合覆盖）程序框图（条件组合覆盖）(A1) AND

8、 (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc5.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 判定二为假满足条件组合覆盖的一组测试用例满足条件组合覆盖的一组测试用例A B X路径 覆盖组号 覆盖条件Case1T1 T2

9、T3 T4Case8T1 F2 T3 F4Case9F1 T2 F3 T4Case10F1 F2 F3 F4满足条件组合覆盖的一组测试用例满足条件组合覆盖的一组测试用例A B X路径 覆盖组号 覆盖条件Case12 0 3a c eT1 T2 T3 T4Case82 1 1a b e T1 F2 T3 F4Case91 0 3a b e F1 T2 F3 T4Case101 1 1a b d F1 F2 F3 F4程序框图（路径覆盖）程序框图（路径覆盖）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc6.6.路径覆盖路径覆盖n设计足够多的测试用例，覆盖程序中的每条可能路径。n上述满足条件组合覆盖的测试用例不能覆盖路径acd。满足路径覆盖的一组测试用例满足路径覆盖的一组测试