1、一、 實驗目的 理解白盒測試的基本方法，掌握語句覆蓋、分支覆蓋、條件覆蓋、路徑覆蓋等代碼覆蓋測試策略，并能應用白盒測試技術設計測試用例二、 實驗內容 1題目一：使用邏輯覆蓋測試方法測試以下程序段（必做）void DoWork (int x,int y,int z)1 int k=0, j=0;2 if ( (x>3)&&(z<10) )3 4 k=x*y-1;5 j=sqrt(k);6 7 if(x=4)|(y>5)8 j=x*y+10;9 j=j%3;10 說明：程序段中每行開頭的數字（110）是對每條語句的編號。（1）畫出程序的控制流圖（用題中給出的語句編

2、號表示）。（2）分別以語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、組合覆蓋和路徑覆蓋方法設計測試用例，并寫出每個測試用例的執行路徑（用題中給出的語句編號表示）。（3） 為各測試路徑設計測試用例。三、 實驗步驟題目一：使用邏輯覆蓋測試方法測試以下程序段（必做）1、繪制出程序流程圖，如圖1； k = x*y - 1；j = sqrt(k)；(x = = 4) or ( y > 5)j = x*y + 10;j = j % 3;結束開始k=0，j=0；( x>3)and ( z<10 )TrueTrueFalseFalse 圖 1 題目1的程序流程圖 2、繪制控制流圖，如圖2；

3、56789101234 圖 2 題目1 的控制流圖3、設計測試用例：（1） 語句覆蓋：語句覆蓋是設計足夠的測試用例使程序中的每一條可執行語句至少執行一次。這題中，兩個if語句的判定之后，只要確保使兩個判定都為真，那么所有的執行語句就都可以執行了，即可達到語句覆蓋的要求。所以設計的測試用例如下： x = 4 , y = 6 , z = 8 。 這組測試用例的執行路徑是12345678910 （2） 判定覆蓋：判定覆蓋要求程序中每個判斷的取真分支和取假分支至少經歷一次。這題中，有兩個判定語句，至少需要設計兩組測試用例，才能分別覆蓋兩個if語句的真分支和假分支。所以設計的測試用例如下：用例1：x =

4、 4 , y = 6 , z = 8 ， 其執行路徑是12345678910 ；用例2：x = 3 , y = 5 , z = 8 , 其執行路徑是12367910。（3） 條件覆蓋：條件覆蓋要求每個判斷中每個條件的可能取值至少要滿足一次。這道題目中的條件有四個，分別如下： x > 3 ； z < 10 ； x = = 4 ； y > 5 ；設計用例時要使每個條件分別取真和取假。設計的測試用例如下表。測試用例編號測試數據覆蓋條件執行路徑1x=3,y=8,z=8假真假真1-2-3-6-7-8-9-102x=4,y=5,z=13真假真假1-2-3-6-7-8-9-10（4） 判定

5、/條件覆蓋：判定/條件覆蓋要求判斷中每個條件的所有可能至少出現一次，并且每個判斷本身的可能判定結果也至少出現一次。題目中的條件有四個，分別如下： x > 3 ； z < 10 ； x = = 4 ； y > 5 ；該程序中的分支有四個 。所以設計的測試用例如下表所示：測試用例編號測試數據覆蓋條件執行路徑1x=4,y=8,z=8真真真真1-2-3-4-5-6-7-8-9-102x=3,y=5,z=13假假假假1-2-3-6-7-9-10（5） 條件組合覆蓋：條件組合覆蓋要求每個判定的所有可能條件取值組合至少執行一次。這道題目中共有四個條件分別如下： x > 3 ； z &

6、lt; 10 ； x = = 4 ； y > 5 ；設定x > 3 為真時，記作T1 ；為假時，即x 3 , 記作F1 ；z < 10為真時，記作T2 ；為假時，即z 10 , 記作F2 ；x = = 4為真時，記作T3 ；為假時，即x 4 , 記作F3 ；y > 5為真時，記作T4 ； 為假時，即y 5 , 記作F4 。條件組合如下表：編號具體條件取值覆蓋條件判定取值1x > 3 ， z < 10T1，T2第一個判定：取真分支2x > 3 ， z 10T1，F2第一個判定：取假分支3x 3 ，z < 10F1，T2第一個判定：取假分支4x 3

7、，z 10F1，F2第一個判定：取假分支5x = = 4 ，y > 5T3，T4第二個判定：取真分支6x = = 4 ，y 5T3，F4第二個判定：取真分支7x 4 ， y > 5F3，T4第二個判定：取真分支8x 4 ， y 5F3，F4第二個判定：取假分支設計的測試用例如下：測試用例編號測試數據覆蓋條件執行路徑1x = 4 , y = 8 , z = 8T1,T2,T3,T41-2-3-4-5-6-7-8-9-102x = 4 , y = 3 , z = 13T1,F2,T3,F41-2-3-6-7-8-9-103x = 2 , y = 8 , z = 8F1,T2,F3,T4

8、1-2-3-6-7-8-9-104x = 2 , y = 3 , z = 13F1,F2,F3,F41-2-3-6-7-9-10（6） 路徑覆蓋：路徑覆蓋要求覆蓋程序中所有可能的路徑。這道題中可能的執行路徑共有4條，所以需要設計4個測試用例： 測試用例編號測試數據執行路徑1x = 4 , y = 8 , z = 81-2-3-4-5-6-7-8-9-102x = 4 , y = 3 , z = 131-2-3-6-7-8-9-103x = 6 , y = 2 , z = 81-2-3-4-5-6-7-9-104x = 2 , y = 3 , z = 131-2-3-6-7-9-10四、 實驗心得1、 白盒測試與程序內部結構相關，因此也稱為結構測試或邏輯驅動測試。而在進行白盒測試時，測試者必須檢查程序的內部結構，從程序的邏輯結構著手，得出測試數據。因此測試者需要了解程序結構的實現細節等知識，才能有效進行測試用例的設計工作。2、 白盒測試并不是簡單地按