【正文】 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 測試路徑為 124， 135或 125，134， 即可達到覆蓋標準。所以測試用例為： A= B=0 、 X=1（ 125), A= B= X=2（ 134） 。 對于多分支的判定，判定覆蓋要使得每一個判定表達式獲得每一個可能的值。判定覆蓋比語句覆蓋嚴格，若通過各個分支，各個語句也執(zhí)行了。但該測試仍不充分，上述數(shù)據(jù)只覆蓋了全部路徑的一半，如將 X1錯寫為 X1,測試不到 . 軟件測試方法 （ 3）條件覆蓋： 條件覆蓋是指設計足夠的測試用例，使被測程序的每個判定表達式中每個條件的各種可能的值至少出現(xiàn)一次。即對該程序中的四個條件 A1 ， B=0 ， A=2， X1 要選擇足夠的測試用例，使得： 判定表達式 1出現(xiàn)： A1， B=0； A≤1， B≠0 判定表達式 2出現(xiàn)： A=2， X1； A≠2， X=1 達到條件覆蓋標準。 為滿足上述要求，選擇以下兩組數(shù)據(jù)： A=2,B=0 ,X=3（ 滿足 A1 ， B=0， A=2 ， X1 通過路徑 124） A=1,B=1, X=1（ 滿足 A≤1， B≠0， X≤1， A≠2通過路徑 135 ） (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測試方法 以上兩組數(shù)據(jù)不僅覆蓋了判定表達式中的所有條件的可能取值，而且覆蓋了 所有判定的取“真”分支和取“假”分支，在這種情況下條件覆蓋強于判定覆蓋。但也有例外，如選擇以下兩組數(shù)據(jù)： A=1， B=0， X=3（ 滿足 A≤1， B=0， A ≠2 ， X1） A=2， B=1， X=1（滿足 A1， B≠0， X ≤1， A=2） 以上兩組數(shù)據(jù)覆蓋了判定表達式中的所有條件的可能取值，但只覆蓋了 第一個判定表達式的取“假”分支和第二個判定表達式的取“真”分支，此例不滿足判定覆蓋。所以滿足條件覆蓋不一定滿足判定覆蓋。為了解決此問題，需要對條件和分支兼顧。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測試方法 （ 4）判定 /條件覆蓋： 該覆蓋標準是指設計足夠的測試用例，使被測程序的每個判定表達式中每個條件的各種可能的值至少出現(xiàn)一次。并使每個判定表達式所有可能的結(jié)果也至少出現(xiàn)一次。對該例程序，可選擇以下兩組數(shù)據(jù)達到判定 /條件覆蓋標準： A=2， B=0， X=3 A=1， B=1， X=1 從表面上看，判定 /條件覆蓋測試了所有條件的取值，但實際上條件組合中的某些條件會抑制其它的條件，如“與”運算的判定表達式中，第一個條件為“假”，則這個表達式后面的幾個條件均不起作用，后面的表達式中的錯誤也就測試不出來。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測試方法 （ 5）條件組合覆蓋： 該覆蓋標準是指設計足夠的測試用例，使被測程序的每個判定表達式中每個條件的各種可能的值的組合至少出現(xiàn)一次。條件組合覆蓋是較強的覆蓋標準。該例中，兩個判定表達式共有 4個條件，有 8種組合： ① A1， B=0 ； ② A1， B≠0 ；③ A≤1， B=0； ④ A≤1， B≠0 ； ⑤ A=2， X1 ； ⑥ A=2， X≤1； ⑦ A≠2， X1； ⑧ A≠2， X≤1 ； 測試用例 4組數(shù)據(jù)： A=2， B=0， X=2； 覆蓋條件組合① ⑤，路徑 124 A=2， B=1， X=1； 覆蓋條件組合② ⑥，路徑 134 A=1， B=1， X=1； 覆蓋條件組合④ ⑧，路徑 135 A=1， B=0， X=2； 覆蓋條件組合③ ⑦ ，路徑 134 顯然，滿足條件組合覆蓋的測試，一定滿足判定覆蓋、條件覆蓋、判定 /條件覆蓋，但該測試沒有覆蓋程序所有可能的執(zhí)行路徑， 125路徑?jīng)]有覆蓋。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測試方法 （ 6）路徑覆蓋： 該覆蓋標準是指設計足夠的測試用例，覆蓋被測程序中所有可能路徑： 該例可選擇以下測試用例，覆蓋程序中的 4條路徑： A=2， B=0， X=2； 覆蓋路徑 124，條件組合① ⑤； A=2， B=1， X=1； 覆蓋路徑 134，條件組合② ⑥； A=1， B=1， X=1； 覆蓋路徑 135，條件組合④ ⑧； A=3， B=0， X=1； 覆蓋路徑 125，條件組合① ⑧； 顯然，該測試滿足路徑覆蓋，但沒有滿足條件組合覆蓋。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測試方法 發(fā) 現(xiàn) 錯 誤 能 力 語句覆蓋 每條語句至少執(zhí)行一次 判定覆蓋 每個判定的每個分支至少執(zhí)行一次 條件覆蓋 每個判定的每個條件應取到各種可能的值 判定 /條件覆蓋 同時滿足判定覆蓋和條件覆蓋 條件組合覆蓋 每個判定中各條件的每一種組合至少出現(xiàn)一次 路徑覆蓋 使程序中每一條可能的路徑至少執(zhí)行一次 強 弱 六種覆蓋標準的對比 六種覆蓋標準的對比 ? 語句覆蓋 發(fā)現(xiàn)錯誤能力弱； ? 判定覆蓋 包含語句覆蓋，但可能會使一些條件得不到測試； ? 條件覆蓋 對每一條件進行單獨檢查，一般情況下其檢錯能力較判定覆蓋強，但有時達不到判定覆蓋的要求； ? 判定 /條件覆蓋 包含了判定覆蓋與條件覆蓋的要求，但受軟件的影響，有時達不到判定覆蓋的標準； ? 條件組合覆蓋 發(fā)現(xiàn)錯誤能力較強； ? 路徑覆蓋 查錯能力強。 總結(jié)： 在實際的邏輯覆蓋測試中，一般以 條件組合覆蓋 為主設計測試用例，然后再補充部分用例，以達到 路徑覆蓋 測試標準。 軟件測試方法 基本路徑測試 基本路徑測試是在 程序圖 的基礎上 ， 通過分析 環(huán)路復雜度 ， 導出 獨立路徑的基本集合 ， 從而設計 測試用例 ， 保證這些路徑至少被執(zhí)行一次 。 基本路徑測試的步驟 ? ①畫出程序圖 以詳細設計或源程序為基礎，導出程序流程圖的拓撲結(jié)構(gòu) 程序圖。 程序圖是退化了的程序流程圖，是反映控制流程的有向圖。 稱為 結(jié)點 ，代表程序流程圖的每個處理符號； 稱為 邊 或者 路徑 ，表示控制流向。 ? ? ? ②計算程序環(huán)路復雜度 環(huán)路復雜度是度量程序圖 G復雜度的方法。 三種計算方法： (1) V(G)=P+1， 其中 P為判定結(jié)點 (2) V(G)=EN+2， 其中 E為邊數(shù)， N為結(jié)點數(shù) (3) V(G)為區(qū)域數(shù) ? ③確定獨立路徑的基本集合 ? 一條獨立路徑至少包含有一條在其他獨立路徑中沒有的邊。 ? 獨立路徑的基本集合不唯一。 ? ④設計測試用例 確保每一條路徑的執(zhí)行。 基本路徑測試的步驟 void mergelist(list la,list lb,list amp。lc){ 1: initlist(lc)。 i=j=1。 k=0。 la_len=listlength(la)。 lb_len=listlength(lb)。 2: while ((i=la_len) 3： amp。amp。 (j=lb_len)){ 4: ge