白盒測試技術（Ⅱ）

---邏輯覆蓋法我們知道白盒測試是根據程序內部的結構來測試程序。程序的內部結構可以用流程圖來表示。從流程圖上可以看出，程序的內部結構包含以下這些元素：語句，判定，條件，循環，路徑等。通過對這些元素的測試就形成了以下白盒測試方法:邏輯覆蓋法獨立（基本）路徑測試法白盒測試方法邏輯覆蓋法根據覆蓋目標的不同，邏輯覆蓋可分為：語句覆蓋判定覆蓋條件覆蓋判定/條件覆蓋條件組合覆蓋路徑覆蓋舉例TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）1、語句覆蓋語句覆蓋的基本思想：通過選擇足夠的測試用例，使得運行這些測試用例時，被測程序的每個語句至少被執行一次。語句覆蓋的測試用例測試用例輸入預期輸出被測路徑CASE1x=4，y=2，z=0x=3sacbed語句覆蓋并不充分：當第一個判定中的&&寫成||時，對于CASE1程序仍按sacbed執行。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）2、判定覆蓋判定覆蓋又稱為分支覆蓋，判定覆蓋比語句覆蓋的標準稍強一些，它是指通過設計足夠的測試用例，使得程序中的每一個判定至少都獲得一次“真值”和“假值”，或者說使得程序中的每一個分支都至少通過一次。判定覆蓋的測試用例測試用例輸入預期輸出覆蓋分支被測路徑CASE2x=1，y=3，z=0x=1/3ac，bdsacbdCASE3x=3，y=2，z=1X=4ab，besabed判定覆蓋包含語句覆蓋，判定覆蓋也不充分：當第2個判定中的x>1寫成x<1時，對于上述測試用例，程序仍按原路徑執行。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）3、條件覆蓋條件覆蓋是指對于每個判定中所包含的若干個條件，應設計足夠多的測試用例，使得判定中的每個條件都至少取到一次“真值”和“假值”的機會，也就是說，判定中的每個條件的所有可能結果至少出現一次。條件覆蓋的測試用例對判定1:（y>1）&&（z==0）條件y>1取真、假分別記為T1，-T1

條件z==0取真、假分別記為T2，-T2判定2:（y==2）||（x>1）條件y==2取真、假分別記為T3，-T3

條件x>1取真、假分別記為T4，-T4測試用例輸入預期輸出覆蓋條件覆蓋分支被測路徑CASE4x=0，y=2，z=0x=1T1，T2T3，-T4ac，besacbedCASE5x=2，y=1，z=1x=3-T1，-T2-T3,T4ab，besabed條件覆蓋并不能包含判定覆蓋,對于下述測試用例，分支bd并未出現。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）4、判定/條件覆蓋判定/條件覆蓋是指通過設計足夠多的測試用例，使得運行這些測試用例時，判定中的每個條件的所有可能結果至少出現一次，并且每個判定本身的所有可能結果也至少出現一次。判定/條件覆蓋的測試用例測試用例輸入預期輸出覆蓋條件覆蓋分支被測路徑CASE6x=4，y=2，z=0x=3T4，T1T3，T2ac，besacbedCASE7x=1，y=1，z=1x=1

-T4，-T1-T3，-T2Ab，bdsabd對判定1:（y>1）&&（z==0）條件y>1取真、假分別記為T1，-T1

條件z==0取真、假分別記為T2，-T2判定2:（y==2）||（x>1）條件y==2取真、假分別記為T3，-T3

條件x>1取真、假分別記為T4，-T4判定/條件覆蓋同時包含判定覆蓋,和條件覆蓋。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）

判定／條件覆蓋仍有缺陷。從表面上看，它測試了所有條件的所有可能結果，但事實上并不是這樣。因為某些條件掩蓋了另一些條件。例如，在邏輯表達式中，如果“與”表達式中某一條件為“假”，則整個表達式的值為“假”，這個表達式中另外的幾個條件就不起作用了。同樣地，如果在“或”表達式中，某一條件為“真”，則整個表達式的值為“真”，其它條件也就不起作用了。

因此，采用判定／條件覆蓋時，邏輯表達式中的錯誤不一定能測試出來。5、條件組合覆蓋條件組合覆蓋是指通過設計足夠多的測試用例，使得運行這些測試用例時，每個判定中條件結果的所有可能組合至少出現一次。條件組合覆蓋的測試用例測試用例輸入預期輸出覆蓋條件組合被測路徑CASE8x=4，y=2，z=0x=31，5sacbedCASE9x=1，y=2，z=1x=22，6sabedCASE10x=2，y=1，z=0x=33，7sabedCASE11x=1，y=1，z=1x=14，8sabd編號判定1各條件組合編號判定2各條件組合1y>1,z==05y==2,x>12y>1,z!=06y==2,x<=13y<1，z==07y!=2,x>14y<1,z!=08y!=2,x<=1條件組合覆蓋包含前述4種覆蓋。TdbasFF入口返回x=x/yx=x+1Tce（y>1）&&（z==0）（y==2）||（x>1）邏輯覆蓋法各覆蓋標準的包含關系課堂練習1voidDoWork(intx,inty,intz){intk=0,j=0;if((x>3)&&(z<10)){k=x*y-1;j=sqrt(k);}//語句塊1if((x==4)||(y>5)){j=x*y+10;}//語句塊2j=j%3;//語句塊3}對上述程序試用邏輯覆蓋法設計測試用例。畫出流程圖1、語句覆蓋測試用例測試用例輸入為：{x=4、y=5、z=5}程序執行的路徑是：abd2、判定覆蓋測試用例要實現DoWork函數的判定覆蓋，需要設計兩個測試用例：測試用例的輸入為：

{x=4、y=5、z=5}；

{x=2、y=5、z=5}程序執行的路徑分別是：abd；ace3、條件覆蓋測試用例1對DoWork函數的各個判定的各種條件取值加以標記。對于第一個判定((x>3)&&(z<10))： 條件x>3取真值記為T1，取假值記為-T1

條件z<10取真值記為T2，取假值記為-T2對于第二個判定((x==4)||(y>5))：條件x==4取真值記為T3，取假值記為-T3

條件y>5取真值記為T4，取假值記為-T4

測試用例執行路徑

覆蓋條件

覆蓋分支x=4、y=6、z=5abdT1、T2、T3、T4bdx=2、y=5、z=15ace-T1、-T2、

-T3、-T4ce3、條件覆蓋測試用例2對DoWork函數的各個判定的各種條件取值加以標記。對于第一個判定((x>3)&&(z<10))： 條件x>3取真值記為T1，取假值記為-T1

條件z<10取真值記為T2，取假值記為-T2對于第二個判定((x==4)||(y>5))：條件x==4取真值記為T3，取假值記為-T3

條件y>5取真值記為T4，取假值記為-T4測試用例執行路徑覆蓋條件覆蓋分支x=2、y=6、z=5acd-T1、T2、

-T3、T4cdx=4、y=5、z=15acdT1、-T2、

T3、-T4cd4、判定/條件覆蓋測試用例測試用例執行路徑覆蓋條件覆蓋分支x=4y=6z=5abdT1、T2、

T3、T4bdx=2y=5z=15ace-T1、-T2、

-T3、-T4ce5、條件組合覆蓋測試用例組合覆蓋的目的是要使設計的測試用例能覆蓋每一個判定的所有可能的條件取值組合。對DoWork函數中的各個判定的條件取值組合加以標記：

1、x>3,z<10記做T1T2，第一個判定的取真分支

2、x>3,z>=10記做T1-T2，第一個判定的取假分支

3、x<=3,z<10記做-T1T2，第一個判定的取假分支

4、x<=3,z>=10記做-T1-T2，第一個判定的取假分支

5、x==4,y>5記做T3T4，第二個判定的取真分支

6、x==4,y<=5記做T3-T4，第二個判定的取真分支

7、x!=4,y>5記做-T3T4，第二個判定的取真分支

8、x!=4,y<=5記做-T3-T4，第二個判定的取假分支5、條件組合覆蓋測試用例測試用例執行路徑覆蓋條件覆蓋組