【正文】 5 軟件測試方法 （ 5）條件組合覆蓋： 該覆蓋標(biāo)準(zhǔn)是指設(shè)計(jì)足夠的測試用例，使被測程序的每個(gè)判定表達(dá)式中每個(gè)條件的各種可能的值的組合至少出現(xiàn)一次。該例中，兩個(gè)判定表達(dá)式共有 4個(gè)條件，有 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 軟件測試方法 發(fā) 現(xiàn) 錯(cuò) 誤 能 力 語句覆蓋 每條語句至少執(zhí)行一次 判定覆蓋 每個(gè)判定的每個(gè)分支至少執(zhí)行一次 條件覆蓋 每個(gè)判定的每個(gè)條件應(yīng)取到各種可能的值 判定 /條件覆蓋 同時(shí)滿足判定覆蓋和條件覆蓋 條件組合覆蓋 每個(gè)判定中各條件的每一種組合至少出現(xiàn)一次 路徑覆蓋 使程序中每一條可能的路徑至少執(zhí)行一次 強(qiáng) 弱 六種覆蓋標(biāo)準(zhǔn)的對比 六種覆蓋標(biāo)準(zhǔn)的對比 ? 語句覆蓋 發(fā)現(xiàn)錯(cuò)誤能力弱； ? 判定覆蓋 包含語句覆蓋，但可能會使一些條件得不到測試； ? 條件覆蓋 對每一條件進(jìn)行單獨(dú)檢查，一般情況下其檢錯(cuò)能力較判定覆蓋強(qiáng)，但有時(shí)達(dá)不到判定覆蓋的要求； ? 判定 /條件覆蓋 包含了判定覆蓋與條件覆蓋的要求，但受軟件的影響，有時(shí)達(dá)不到判定覆蓋的標(biāo)準(zhǔn)； ? 條件組合覆蓋 發(fā)現(xiàn)錯(cuò)誤能力較強(qiáng)； ? 路徑覆蓋 查錯(cuò)能力強(qiáng)。 軟件測試方法 基本路徑測試 基本路徑測試是在 程序圖 的基礎(chǔ)上 ， 通過分析 環(huán)路復(fù)雜度 ， 導(dǎo)出 獨(dú)立路徑的基本集合 ， 從而設(shè)計(jì) 測試用例 ， 保證這些路徑至少被執(zhí)行一次 。 程序圖是退化了的程序流程圖，是反映控制流程的有向圖。 ? ? ? ②計(jì)算程序環(huán)路復(fù)雜度 環(huán)路復(fù)雜度是度量程序圖 G復(fù)雜度的方法。 ? 獨(dú)立路徑的基本集合不唯一。 基本路徑測試的步驟 void mergelist(list la,list lb,list amp。 i=j=1。 la_len=listlength(la)。 2: while ((i=la_len) 3： amp。 (j=lb_len)){ 4: getelem(la,i,ai)。 5: if (ai=bj) 6: {listinsert(lc,++k,ai)。 listinsert(lc,++k,bj)。} 例：合并兩個(gè)有序線形表 la、 lb，生成有序線形表 lc，代碼如下所示。 7: else if (aibj) 8: {listinsert(lc,++k,ai)。} 9: else {listinsert(lc,++k,bj)。} 10: } 11: while (i=la_len) { 12: getelem(la,i++,ai)。 } 13: while (j=lb_len) { 14: getelem(lb,j++,bj)。 } 15: } 1 2 4 5 6 7 10 11 12 13 14 15 第 1步：畫出程序圖 開始結(jié)點(diǎn) 結(jié)束結(jié)點(diǎn) 3 判定結(jié)點(diǎn) 9 8 1 2 4 5 6 7 10 11 12 13 14 15 3 判定結(jié)點(diǎn) 9 8 第 2步： 計(jì)算環(huán)路復(fù)雜度 3 7 4 1 2 5 6 ? 第 2步：計(jì)算環(huán)路復(fù)雜度 ? （ 1）判定結(jié)點(diǎn)為 2， 3， 5， 7， 11， 13 V(G)=P+1=7 （ 2） V(G)=EN+2=2015+2＝ 7 （ 3）區(qū)域個(gè)數(shù)為 7個(gè)， V(G)=7 ? 第 3步： 確定獨(dú)立路徑的基本集合 路徑 1： 12111315 路徑 2： 121113141315 路徑 3： 1231112111315 路徑 4： 123456102111315 路徑 5： 12345781021113141315 路徑 6： 123457910231112111315 路徑 7: 1234561023111112111315 ? 第 4步： 設(shè)計(jì)測試用例 路徑 1用例： la={}, lb={}, lc={} 路徑 2用例： la={}, lb={3,5}, lc={3,5} 路徑 3用例： la={2,4}, lb={}, lc={2,4} 路徑 4用例： la={2,3,4}, lb={2,3,4}, lc={2,2,3,3,4,4} 路徑 5用例： la={2,3,4}, lb={5,6}, lc={2,3,4,5,6} 路徑 6用例： la={2,3,4}, lb={0,1}, lc={0,1,2,3,4} 路徑 7用例： la={2,3,4}, lb={2,3}, lc={2,2,3,3,4} 軟件測試方法 條件測試 條件測試重點(diǎn)測試程序中的每個(gè)條件 ， 測試組成條件的各個(gè)成分的正確性 ， 通過檢測程序條件中的錯(cuò)誤 ， 發(fā)現(xiàn)程序中的其它錯(cuò)誤 。 最簡單的條件測試策略應(yīng)該是分支測試 ， 分支測試主要是保證條件中的每個(gè)簡單條件 ， 以及取真 、 取假的分支都至少執(zhí)行一次 。 1)簡單循環(huán) 簡單循環(huán)可依據(jù)以下順序分別設(shè)計(jì)測試用例進(jìn)行測試： ① 執(zhí)行零次循環(huán)：從循環(huán)入口到出口； ② 只執(zhí)行一次循環(huán)：檢查循環(huán)初始值； ③ m次循環(huán)：檢查 m次循環(huán) ， 其中 m小于最大次數(shù)減 1； ④ 執(zhí)行最大次數(shù)循環(huán) 、 比最大次數(shù)多一次 、 少一次的循環(huán) 。 測試時(shí)保持當(dāng)前層的所有外層循環(huán)的循環(huán)變量取最小值 ， 所有其它嵌套內(nèi)層循環(huán)的循環(huán)變量取 “ 典型 ” 值 ， 同時(shí)考慮增加越界值和非法值的測試 。 軟件測試方法 3)串接循環(huán) 如果各個(gè)循環(huán)互相獨(dú)立 ， 則可以用與簡單循環(huán)相同的方法進(jìn)行測試 。 黑盒測試法 ? 黑盒測試法根據(jù)輸入 /輸出數(shù)據(jù)條件設(shè)計(jì)測試用例，驗(yàn)證程序的功能是否正確或滿足要求，不需考慮程序的內(nèi)部細(xì)節(jié)及執(zhí)行路徑。 軟件測試方法 黑盒測試法 “黑盒”測試又稱功能測試， 檢查程序的功能是否符合規(guī)格說明書的要求，程序是否接收輸入數(shù)據(jù)而產(chǎn)生正確的輸出信息。 ? 等價(jià)類劃分 程序的輸入域總可以劃分成若干個(gè)不同性質(zhì)的等價(jià)類，每個(gè)等價(jià)類中的一個(gè)典型值在測試中的作用與該類所有其他值的作用相同。 軟件測試方法 等價(jià)類，指某個(gè)輸入域的子集合，在該集合中，各個(gè)輸入數(shù)據(jù)對暴露程序中的錯(cuò)誤是等效的。 將輸入數(shù)據(jù)域按有效的或無效的（或稱合理的或不合理的）劃分成若干類，通過測試每個(gè)類的代表值相當(dāng)于對于該類其他數(shù)據(jù)值進(jìn)行測試。這樣用少量有代表性的例子可代替大量測試目的相同的例子，有效地提高測試效率。 ? 若規(guī)定了輸入數(shù)據(jù)的一組值，且程序?qū)Σ煌妮斎胫底霾煌奶幚恚瑒t每個(gè)