實(shí)踐：白盒測試之邏輯覆蓋案例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設(shè)計(jì)若干條測試用例，使程序中每條可執(zhí)行語句至少執(zhí)行一次。用例ABX執(zhí)行路徑Case1aceCase2abe語句覆蓋1.1.語句覆蓋語句覆蓋n設(shè)計(jì)若干條測試用例，使程序中每條可執(zhí)行語句至少執(zhí)行一次。用例ABX執(zhí)行路徑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錯(cuò)寫成錯(cuò)寫成OR錯(cuò)寫成錯(cuò)寫成AND語句覆蓋是最弱的覆蓋語句覆蓋是最弱的覆蓋語句覆蓋程序框圖程序框圖 (判定覆蓋）判定覆蓋）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc 2. 2. 判定覆

3、蓋（分支覆蓋）判定覆蓋（分支覆蓋）n設(shè)計(jì)測試用例，使程序中的每個(gè)邏輯判斷的取真和取假的分支至少經(jīng)歷一次。用例ABX執(zhí)行路徑Case1aceCase3abd 2. 2. 判定覆蓋（分支覆蓋）判定覆蓋（分支覆蓋）n設(shè)計(jì)測試用例，使程序中的每個(gè)邏輯判斷的取真和取假的分支至少經(jīng)歷一次。用例ABX執(zhí)行路徑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 只作到判定覆蓋將無法確定只作到判定覆蓋將無法確定判定內(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.3.條件覆蓋條件覆蓋n設(shè)計(jì)若干測試用例，使程序的每個(gè)判定中的每個(gè)條件的可能取值至少滿足一次n上例中設(shè)條件： 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 兩個(gè)測試用例覆蓋了四個(gè)條件八種可能取值。但未覆蓋c、d分支，不滿足判定覆蓋的要求。條件覆蓋程序框圖（判定程序框圖（判定條件覆蓋）條件覆蓋）(A1) AND (B=0)(A=2) OR (X1)aX=X/AX=X+1eFFTTbdc4.4.判定判定- -條件覆蓋條件覆蓋n使判定中每個(gè)條件的可能取值至少滿足一次，并且使每個(gè)判定分支至少執(zhí)行一次。n判定-條件覆蓋能同時(shí)滿足判定判定、條件條件兩種覆蓋標(biāo)準(zhǔ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設(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 判定二為真 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設(shè)計(jì)足夠多的測試用例，覆蓋程序中的每條可能路徑。n上述滿足條件組合覆蓋的測試用例不能覆蓋路徑acd。滿足路徑覆蓋的一組測試用例滿足路徑覆蓋的一組測試