六種覆蓋方法
首先為了下文的舉例描述方便，這里先給出一張程序流程圖。（本文以1995年軟件設計師考試的一道考試題目為例，圖中紅色字母代表程序執行路徑）。
1、語句覆蓋
1）主要特點：語句覆蓋是最起碼的結構覆蓋要求，語句覆蓋要求設計足夠多的測試用例，使得程序中每條語句至少被執行一次。
2）用例設計：（如果此時將A路徑上的語句1—〉T去掉，那么用例如下）
|
|
X |
Y |
路徑 |
|
1 |
50 |
50 |
OBDE |
|
2 |
90 |
70 |
OBCE |
3）優點：可以很直觀地從源代碼得到測試用例，無須細分每條判定表達式。
4）缺點：由于這種測試方法僅僅針對程序邏輯中顯式存在的語句，但對于隱藏的條件和可能到達的隱式邏輯分支，是無法測試的。在本例中去掉了語句1—〉T去掉，那么就少了一條測試路徑。在if結構中若源代碼沒有給出else后面的執行分支，那么語句覆蓋測試就不會考慮這種情況。但是我們不能排除這種以外的分支不會被執行，而往往這種錯誤會經常出現。再如，在Do-While結構中，語句覆蓋執行其中某一個條件分支。那么顯然，語句覆蓋對于多分支的邏輯運算是無法全面反映的，它只在乎運行一次，而不考慮其他情況。
2、判定覆蓋
1）主要特點：判定覆蓋又稱為分支覆蓋，它要求設計足夠多的測試用例，使得程序中每個判定至少有一次為真值，有一次為假值，即：程序中的每個分支至少執行一次。每個判斷的取真、取假至少執行一次。
2）用例設計：
|
|
X |
Y |
路徑 |
|
1 |
90 |
90 |
OAE |
|
2 |
50 |
50 |
OBDE |
|
3 |
90 |
70 |
OBCE |
3）優點：判定覆蓋比語句覆蓋要多幾乎一倍的測試路徑，當然也就具有比語句覆蓋更強的測試能力。同樣判定覆蓋也具有和語句覆蓋一樣的簡單性，無須細分每個判定就可以得到測試用例。
4）缺點：往往大部分的判定語句是由多個邏輯條件組合而成（如，判定語句中包含AND、OR、CASE），若僅僅判斷其整個最終結果，而忽略每個條件的取值情況，必然會遺漏部分測試路徑。
3、條件覆蓋
1）主要特點：條件覆蓋要求設計足夠多的測試用例，使得判定中的每個條件獲得各種可能的結果，即每個條件至少有一次為真值，有一次為假值。
2）用例設計：
|
|
X |
Y |
路徑 |
|
1 |
90 |
70 |
OBC |
|
2 |
40 |
|
OBD |
3）優點：顯然條件覆蓋比判定覆蓋，增加了對符合判定情況的測試，增加了測試路徑。
4）缺點：要達到條件覆蓋，需要足夠多的測試用例，但條件覆蓋并不能保證判定覆蓋。條件覆蓋只能保證每個條件至少有一次為真，而不考慮所有的判定結果。
4、判定/條件覆蓋
1）主要特點：設計足夠多的測試用例，使得判定中每個條件的所有可能結果至少出現一次，每個判定本身所有可能結果也至少出現一次。
2）用例設計：
|
|
X |
Y |
路徑 |
|
1 |
90 |
90 |
OAE |
|
2 |
50 |
50 |
OBDE |
|
3 |
90 |
70 |
OBCE |
|
4 |
70 |
90 |
OBCE |
3）優點：判定/條件覆蓋滿足判定覆蓋準則和條件覆蓋準則，彌補了二者的不足。
4）缺點：判定/條件覆蓋準則的缺點是未考慮條件的組合情況。
5、組合覆蓋
1）主要特點：要求設計足夠多的測試用例，使得每個判定中條件結果的所有可能組合至少出現一次。
2）用例設計：
|
|
X |
Y |
路徑 |
|
1 |
90 |
90 |
OAE |
|
2 |
90 |
70 |
OBCE |
|
3 |
90 |
30 |
OBDE |
|
4 |
70 |
90 |
OBCE |
|
5 |
30 |
90 |
OBDE |
|
6 |
70 |
70 |
OBDE |
|
7 |
50 |
50 |
OBDE |
3）優點：多重條件覆蓋準則滿足判定覆蓋、條件覆蓋和判定/條件覆蓋準則。更改的判定/條件覆蓋要求設計足夠多的測試用例，使得判定中每個條件的所有可能結果至少出現一次，每個判定本身的所有可能結果也至少出現一次。并且每個條件都顯示能單獨影響判定結果。
4）缺點：線性地增加了測試用例的數量。
6、路徑覆蓋
1）主要特點：設計足夠的測試用例，覆蓋程序中所有可能的路徑。
2）用例設計：
|
|
X |
Y |
路徑 |
|
1 |
90 |
90 |
OAE |
|
2 |
50 |
50 |
OBDE |
|
3 |
90 |
70 |
OBCE |
|
4 |
70 |
90 |
OBCE |
3）優點：這種測試方法可以對程序進行徹底的測試，比前面五種的覆蓋面都廣。
4）缺點：由于路徑覆蓋需要對所有可能的路徑進行測試（包括循環、條件組合、分支選擇等），那么需要設計大量、復雜的測試用例，使得工作量呈指數級增長。而在有些情況下，一些執行路徑是不可能被執行的，如：
If （!A）B++；
If （!A）D--；
這兩個語句實際只包括了2條執行路徑，即A為真或假時候對B和D的處理，真或假不可能都存在，而路徑覆蓋測試則認為是包含了真與假的4條執行路徑。這樣不僅降低了測試效率，而且大量的測試結果的累積，也為排錯帶來麻煩。
總結
白盒測試是一種被廣泛使用的邏輯測試方法，是由程序內部邏輯驅動的一種單元測試方法。只有對程序內部十分了解才能進行適度有效的白盒測試。但是貫穿在程序內部的邏輯存在著不確定性和無窮性，尤其對于大規模復雜軟件。因此我們不能窮舉所有的邏輯路徑，即使窮舉也未必會帶來好運（窮舉不能查出程序邏輯規則錯誤，不能查出數據相關錯誤，不能查出程序遺漏的路徑）。
那么正確使用白盒測試，就要先從代碼分析入手，根據不同的代碼邏輯規則、語句執行情況，選用適合的覆蓋方法。任何一個高效的測試用例，都是針對具體測試場景的。邏輯測試不是片面的測試正確的結果或是測試錯誤的結果，而是盡可能全面地覆蓋每一個邏輯路徑。
文章來源于領測軟件測試網 http://www.kjueaiud.com/
