實(shí)踐白盒測(cè)試之邏輯覆蓋案例

1、邏輯覆蓋邏輯覆蓋n語(yǔ)句覆蓋語(yǔ)句覆蓋n判定覆蓋（分支覆蓋）判定覆蓋（分支覆蓋）n條件覆蓋條件覆蓋n判定判定- -條件覆蓋條件覆蓋n條件組合覆蓋條件組合覆蓋n路徑覆蓋路徑覆蓋例子程序：例子程序：if( (a1) & (b=0) x=x/a; if (a=2) | (x1) x=x+1;程序框圖（語(yǔ)句覆蓋）程序框圖（語(yǔ)句覆蓋）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc1.1.語(yǔ)句覆蓋語(yǔ)句覆蓋n設(shè)計(jì)若干條測(cè)試用例，使程序中每條可執(zhí)行語(yǔ)句至少執(zhí)行一次。用例ABX執(zhí)行路徑Case1aceCase2abe語(yǔ)句覆蓋1.1.語(yǔ)句覆蓋語(yǔ)句覆蓋n設(shè)計(jì)若干條測(cè)

2、試用例，使程序中每條可執(zhí)行語(yǔ)句至少執(zhí)行一次。用例ABX執(zhí)行路徑Case1203aceCase2213abe語(yǔ)句覆蓋Case1：A=2, B=0, X=3(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc語(yǔ)句覆蓋Case2：A=2, B=1, X=3(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc此語(yǔ)句未覆蓋此語(yǔ)句未覆蓋語(yǔ)句覆蓋Case1：A=2, B=0, X=3(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc錯(cuò)寫成錯(cuò)寫成OR錯(cuò)寫成錯(cuò)寫成AND語(yǔ)句覆蓋是最弱的覆蓋語(yǔ)

3、句覆蓋是最弱的覆蓋語(yǔ)句覆蓋程序框圖程序框圖 (判定覆蓋）判定覆蓋）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc 2. 2. 判定覆蓋（分支覆蓋）判定覆蓋（分支覆蓋）n設(shè)計(jì)測(cè)試用例，使程序中的每個(gè)邏輯判斷的取真和取假的分支至少經(jīng)歷一次。用例ABX執(zhí)行路徑Case1aceCase3abd 2. 2. 判定覆蓋（分支覆蓋）判定覆蓋（分支覆蓋）n設(shè)計(jì)測(cè)試用例，使程序中的每個(gè)邏輯判斷的取真和取假的分支至少經(jīng)歷一次。用例ABX執(zhí)行路徑Case1203aceCase3101abd第一組：Case1：A=2, B=0, X=3(A1) AND (B=0)(A=2

4、) 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=X+1eFFTTbdc判定覆蓋n 只作到判定覆蓋將無(wú)法確定只作到判定覆蓋將無(wú)法確定判定內(nèi)部條件的錯(cuò)誤。判定內(nèi)部條件的錯(cuò)誤。(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc錯(cuò)寫成錯(cuò)寫成X1) AND (B=0)(A=2) OR (X1)X=X/AX=X+1eFFTTbdc錯(cuò)寫成錯(cuò)寫成X1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc3.

5、3.條件覆蓋條件覆蓋n設(shè)計(jì)若干測(cè)試用例，使程序的每個(gè)判定中的每個(gè)條件的可能取值至少滿足一次n上例中設(shè)條件： A1 T1 F1 A1 T1 F1 B=0 T2 F2 B=0 T2 F2 A=2 T3 F3 A=2 T3 F3 X1 T4 F4 X1 T4 F4取真表為取真表為取假表為取假表為n滿足條件覆蓋的一組測(cè)試用例滿足條件覆蓋的一組測(cè)試用例A B X路徑覆蓋分支覆蓋條件Case6T1 F2 T3 F4Case7F1 T2 F3 T43.3.條件覆蓋條件覆蓋條件覆蓋n滿足條件覆蓋的一組測(cè)試用例滿足條件覆蓋的一組測(cè)試用例A B X路徑覆蓋分支覆蓋條件Case62 1 1a b eb eT1 F2

6、 T3 F4Case71 0 3a b eb eF1 T2 F3 T43.3.條件覆蓋條件覆蓋條件覆蓋 Case6：A=2, B=1, X=1 Case7：A=1, B=0, X=3(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdcn 兩個(gè)測(cè)試用例覆蓋了四個(gè)條件八種可能取值。但未覆蓋c、d分支，不滿足判定覆蓋的要求。條件覆蓋程序框圖（判定程序框圖（判定條件覆蓋）條件覆蓋）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc4.4.判定判定- -條件覆蓋條件覆蓋n使判定中每個(gè)條件的可能取值至少滿足一次，并且使每個(gè)判

7、定分支至少執(zhí)行一次。n判定-條件覆蓋能同時(shí)滿足判定判定、條件條件兩種覆蓋標(biāo)準(zhǔn)。滿足判定滿足判定-條件覆蓋的一組測(cè)試用例條件覆蓋的一組測(cè)試用例A B X路徑覆蓋分支覆蓋條件Case1c eT1 T2 T3 T4Case8b dF1 F2 F3 F4滿足判定滿足判定-條件覆蓋的一組測(cè)試用例條件覆蓋的一組測(cè)試用例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=

8、1, B=1, X=1(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc程序框圖（條件組合覆蓋）程序框圖（條件組合覆蓋）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc5.5.條件組合覆蓋條件組合覆蓋n設(shè)計(jì)用例，使得每個(gè)判斷表達(dá)式中條件的各種可能組合都至少出現(xiàn)一次；n上例中需考慮4個(gè)條件的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 判定二為

9、真 A2，X1 F3 T4 A2，X1 F3 F4 判定二為假滿足條件組合覆蓋的一組測(cè)試用例滿足條件組合覆蓋的一組測(cè)試用例A B X路徑 覆蓋組號(hào) 覆蓋條件Case1T1 T2 T3 T4Case8T1 F2 T3 F4Case9F1 T2 F3 T4Case10F1 F2 F3 F4滿足條件組合覆蓋的一組測(cè)試用例滿足條件組合覆蓋的一組測(cè)試用例A B X路徑 覆蓋組號(hào) 覆蓋條件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設(shè)計(jì)足夠多的測(cè)試用例，覆蓋程序中的每條可能路徑。n上述滿足條件組合覆蓋的測(cè)試用例不能覆蓋路徑acd。滿足路徑覆蓋的一組測(cè)試