找了半天的資料，覺得這個比較好。

一、語句覆蓋(Statement coverage)

“語句覆蓋”是一個比較弱的測試標準，它的含義是：選擇足夠的測試用例，使得程式中每個語句至少都能被執行一次。

比“語句覆蓋”稍強的覆蓋標準是“判定覆蓋”(或稱branch coverage分支覆蓋)標準。含義是：執行足夠的測試用例，使得程式中的每一個分支至少都通過一次。

對圖6.4的程式，如果設計兩個例子，使它們能通過路徑

①A=3，B=0，X=1(沿路徑acd執行)；       ②A=2，B=1，X=3(沿路徑abe執行)

程式中含有判定的語句包括IF-THEN-ELSE、DO-WHILE、REPEAT-UNTIL等，除了雙值的判定語句外，還有多值的判定語句，如PASCAL中的CASE語句、FORTRAN中帶有三個分支的IF語句等。所以“判定覆蓋”更一般的含義是：使得每一個判定獲得每一種可能的結果。

“判定覆蓋”比“語句覆蓋”嚴格，因為如果每個分支都執行過了，則每個語句也就執行過了。但是，“判定覆蓋”還是很不夠的，例如上面兩個測試用例未能檢查沿著路徑

三、條件覆蓋(Condition coverage)

一個判定中往往包含了若干個條件，例如圖6.4的程式中，判定(A＞1) AND (B=0)包含了兩個條件：A＞1以及B=0，所以可引進一個更強的覆蓋標準——“條件覆蓋”。“條件覆蓋”的含義是：執行足夠的測試用例，使得判定中的每個條件獲得各種可能的結果。

圖6.4的程式有四個條件：

A＞1、B=0、A=2、X＞1

為了達到“條件覆蓋”標準，需要執行足夠的測試用例使得在a點有：

A＞1、A≤1、B=0、B≠0

等各種結果出現，以及在b點有：

A=2、A≠2、X＞1、X≤1

等各種結果出現。

現在只需設計以下兩個測試用例就可滿足這一標準：

①A=2，B=0，X=4(沿路徑ace執行)；②A=1，B=1，X=1(沿路徑abd執行)。

“條件覆蓋”通常比“判定覆蓋”強，因為它使一個判定中的每一個條件都取到了兩個不同的結果，而判定覆蓋則不保證這一點。但如對語句IF(A AND B)THEN S設計測試用例使其滿足"條件覆蓋",即使A為真並使B為假,以及使A為假而且B為真,但是它們都未能使語句S得以執行。

四、判定/條件覆蓋(Decision/Condition coverage)

針對上面的問題引出了另一種覆蓋標準——“判定／條件覆蓋”，它的含義是：執行足夠的測試用例，使得判定中每個條件取到各種可能的值，並使每個判定取到各種可能的結果。對圖6.4的程式，上一節中的兩個例子

      ①A=2，B=0，X=4 (沿ace路徑)                       ②A=1，B=1，X=1(沿abd路徑) 

是滿足這一標準的。

“判定／條件覆蓋”似乎是比較合理的，但事實並非如此，因為大多數計算機不能用一條指令對多個條件作出判定，而必須將源程式中對多個條件的判定分解成幾個簡單判定,所以較徹底的測試應使每一個簡單判定都真正取到各種可能的結果。

圖6.5是由編譯系統產生的圖6.4的目標程式。上面的兩個例子未能使目標程式中的每一個簡單判定取到各種可能的結果；它們不能使判定I為“假”也不能使判定K為“真”，其原因在於：含有AND或OR的邏輯表示式中，某些條件將抑制其他條件，例如邏輯表示式A AND B，如果A為“假”，目標程式就不再檢查條件B了，這樣B中的錯誤就發現不了。

上面的討論說明了，儘管“判定／條件覆蓋”看起來能使各種條件取到所有可能的值，但實際上並不一定能檢查到這樣的程度。

五、條件組合覆蓋(branch condition combination）

針對上述問題又提出了另一種標準——“條件組合覆蓋”。它的含義是：執行足夠的例子，使得每個判定中條件的各種可能組合都至少出現一次。顯然，滿足“條件組合覆蓋”的測試用例是一定滿足“判定覆蓋”、“條件覆蓋”和“判定/條件覆蓋”的。

再看圖6.4的程式，我們需要選擇適當的例子，使得下面8種條件組合都能夠出現：

1）A>1, B=0        2)  A>1, B¹03)  A≤1, B=0  4)A≤1, B≠0

5)A=2, X>16)A=2,X≤17)A≠2, X>1    8)A≠2, X≤1

必須注意到，5)、6)、7)、8）四種情況是第二個IF語句的條件組合，而X的值在該語句之前是要經過計算的，所以還必須根據程式的邏輯推算出在程式的入口點X的輸入值應是什麼。
下面四個例子可以使上述8種條件組合至少出現一次：

①A=2，B=0，X=4使1)、5)兩種情況出現；②A=2，B=1，X=1使2)、6)兩種情況出現；

上面四個例子雖然滿足條件組合覆蓋，但並不能覆蓋程式中的每一條路徑，例如路徑acd就沒有執行，因此，條件組合覆蓋標準仍然是不徹底。

六、路徑覆蓋（path coverage)

語句覆蓋是一種最弱的覆蓋，判定覆蓋和條件覆蓋比語句覆蓋強，滿足判定/條件覆蓋標準的測試用例一定也滿足判定覆蓋、條件覆蓋和語句覆蓋，條件組合覆蓋是除路徑覆蓋外最強的，路徑覆蓋也是一種比較強的覆蓋，但未必考慮判定條件結果的組合，並不能代替條件覆蓋和條件組合覆蓋。