【文章內(nèi)容簡(jiǎn)介】 是有限測(cè)試 。 Alpha(α) 測(cè)試：通用軟件產(chǎn)品為了征集用戶的意見 ， 在開發(fā)者的場(chǎng)所 ， 由用戶進(jìn)行的測(cè)試 ， 記錄用戶發(fā)現(xiàn)的錯(cuò)誤和問題 。 43 軟件測(cè)試的方法 Beta(β) 測(cè)試：在一個(gè)或多個(gè)用戶自己的場(chǎng)所 ，由最終用戶進(jìn)行 ， 并記錄在測(cè)試中遇到的所有問題和想法 。 重要的通用軟件產(chǎn)品 ， 大多經(jīng)過 α 和 β 測(cè)試 。 44 測(cè)試方案與測(cè)試用例 設(shè)計(jì)測(cè)試方案是軟件測(cè)試中的關(guān)鍵問題。測(cè)試方案包括預(yù)定要測(cè)試的功能、結(jié)構(gòu)，應(yīng)該要輸入的測(cè)試數(shù)據(jù)和輸入這些數(shù)據(jù)后預(yù)期的結(jié)果 —— 測(cè)試用例。測(cè)試用例的設(shè)計(jì)是其中較困難的問題，不同的測(cè)試數(shù)據(jù)發(fā)現(xiàn)程序錯(cuò)誤的能力差別很大，為了提高測(cè)試效率，降低測(cè)試成本，應(yīng)該選用高效的測(cè)試數(shù)據(jù)。因?yàn)椴豢赡苓M(jìn)行窮盡測(cè)試，選用少量高效的測(cè)試數(shù)據(jù)，進(jìn)行盡可能完備的測(cè)試就顯得更重要了。 45 測(cè)試方案與測(cè)試用例 設(shè)計(jì)測(cè)試方案的基本目標(biāo)是 ， 確定一組最有可能發(fā)現(xiàn)某個(gè)或某類錯(cuò)誤的測(cè)試用例 。 有多種測(cè)試技術(shù) ，同一種測(cè)試技術(shù)在不同的應(yīng)用場(chǎng)合效果可能相差很大 ， 因此 ， 通常需要聯(lián)合使用多種測(cè)試技術(shù)來設(shè)計(jì)測(cè)試用例 。 通常的做法是用黑盒法設(shè)計(jì)基本測(cè)試方案 ， 再用白盒法補(bǔ)充一些方案 。 46 白盒法（邏輯覆蓋） 白盒法也稱邏輯驅(qū)動(dòng)法 （ 邏輯覆蓋法 ） ， 從軟件的具體邏輯結(jié)構(gòu)和執(zhí)行路徑出發(fā) ， 設(shè)計(jì)測(cè)試用例 。具有語句覆蓋 、 判定覆蓋 （ 分支覆蓋 ） 、 條件覆蓋 、判定 /條件覆蓋 、 路徑覆蓋 、 條件組合覆蓋 、 點(diǎn)覆蓋 、 邊覆蓋 ， 下面以一個(gè)經(jīng)典例子分別介紹： 設(shè)有某個(gè)算法片段的程序流程圖如下： 47 白盒法（邏輯覆蓋） 圖 65程序段程序框圖 (A1)AND (B=0) (A=2)OR (X1) X=X/A X=X+1 a b c d e T T 48 白盒法（邏輯覆蓋） 該程序片段有四條路徑： abd,acd,ace,aed。 ? (1) 語句覆蓋：選擇足夠的測(cè)試用例使程序中每條語句至少執(zhí)行一次 。 為了使每個(gè)語句都執(zhí)行一次 ， 程序的執(zhí)行路徑只需經(jīng)過 a、 b、 c、 d、 e各點(diǎn)即可 。 如果選擇路徑ace， 則能保證程序中的語句都執(zhí)行一次 。 49 白盒法（邏輯覆蓋） 例如 ， 選擇測(cè)試用例： A=2,B=0,X=3,預(yù)期的結(jié)果為：A=2,B=0,X=； 但是 ， 許多路徑得不到測(cè)試 ， 這種測(cè)試很不充分 。 圖 65程序段程序框圖 (A1)AND (B=0) (A=2)OR (X1) X=X/A X=X+1 a b c d e T T 50 白盒法（邏輯覆蓋） ? (2) 判定覆蓋 （ 也稱分支覆蓋 ） ：判定是一個(gè)邏輯表達(dá)式的結(jié)果 。 選擇足夠的測(cè)試用例 ， 使程序中每個(gè)判定至少都能獲得一次 “ 真 ” 值和一次 “ 假 ” 值 ， 從而使程序的每個(gè)判定的每個(gè)分支至少都執(zhí)行一次 。 例如 ， 選擇測(cè)試用例： A=3,B=0,X=3,預(yù)期結(jié)果為：A=3,B=0,X=1。 選擇測(cè)試用例： A=2,B=1,X=0,預(yù)期結(jié)果為：A=2,B=1,X=1。 51 白盒法（邏輯覆蓋） 這組測(cè)試用例覆蓋了路徑 acd和 aed ,滿足了判定覆蓋要求 。 判定覆蓋比語句覆蓋強(qiáng) ， 但是判定覆蓋只關(guān)心整個(gè)判定表達(dá)式的值 ， 對(duì)程序邏輯的覆蓋程度仍然不高 ， 如上面的測(cè)試 ， 只覆蓋了全部路徑的一半路徑 。 52 白盒法（邏輯覆蓋） ? (3) 條件覆蓋：條件為邏輯表達(dá)式中的各個(gè)邏輯分量 。 選擇足夠的測(cè)試用例 ， 使得程序判定中的每個(gè)條件都能獲得各種可能的結(jié)果 。 如圖 65中 ， 有四個(gè)條件： A1,B=0,A=2,X1,每個(gè)條件可能出現(xiàn)的各種結(jié)果為： a點(diǎn)出現(xiàn)：A1,A≤ 1。 B=0,B≠ 0。 b點(diǎn)出現(xiàn)： A=2,A≠ 2。 X1,X≤ 1。 53 白盒法（邏輯覆蓋） 例如 ， 選擇測(cè)試用例： A=2,B=0,X=4,預(yù)期結(jié)果為：A=2,B=0,X=3。 選擇測(cè)試用例： A=1,B=1,X=1,預(yù)期結(jié)果為：A=1,B=1,X=1。 這組測(cè)試用例覆蓋了路徑 acd， aed 和 abd ,滿足了條件覆蓋要求 。 條件覆蓋比判定覆蓋強(qiáng) ， 它使判定表達(dá)式中的每個(gè)條件都取得了兩個(gè)不同的結(jié)果 。 54 白盒法（邏輯覆蓋） 但也有相反的情況 ， 每個(gè)條件雖然取得兩個(gè)不同的結(jié)果 ， 判定表達(dá)式卻始終只取一個(gè)值 ， 例如：取數(shù)據(jù)： ? A=2,B=0,X=1。 滿足 A1,B=0,A=2,X≤ 1的條件 ， 執(zhí)行路徑 ace； ? A=1,B=1,X=2。 滿足 A≤ 1,B≠ 0,A≠ 2,X1的條件 ， 執(zhí)行路徑 abd。 滿足了條件覆蓋 ， 卻不滿足判定覆蓋 ， 第二個(gè)判定表達(dá)式的值總為真 。 55 白盒法（邏輯覆蓋） ? (4) 判定 /條件覆蓋：選擇足夠的測(cè)試用例 ， 使得程序判定中的每個(gè)條件都能獲得各種可能的結(jié)果 ， 并且使得每個(gè)判定都取得各種可能的結(jié)果 。 例如 ， 選擇測(cè)試用例： A=2,B=0,X=4,預(yù)期結(jié)果為： A=2,B=0,X=3。 選擇測(cè)試用例： A=1,B=1,X=1,預(yù)期結(jié)果為：A=1,B=1,X=1。 56 白盒法（邏輯覆蓋） 這組測(cè)試用例覆蓋了路徑 acd， aed 和 abd ,滿足了判定 /條件覆蓋要求。但它也并不比條件覆蓋更強(qiáng)。 57 白盒法（邏輯覆蓋） ? （ 5） 條件組合覆蓋：選擇足夠的測(cè)試用例 ， 使得程序判定中的條件的各種可能組合都至少出現(xiàn)一次 。 如圖 65中 ， 需要測(cè)試覆蓋條件組合的下述八種情況： 1) A1,B=0 。 2) A1,B≠ 0。 3) A≤ 1,B=0。 4） A≤ 1,B≠ 0。 5) A=2,X1 6) A=2,X=1 7) A≠ 2,X1 8) A≠ 2,X≤ 1 58 白盒法（邏輯覆蓋） ? 用 A=2,B=0,X=4, 預(yù)期結(jié)果： A=2,B=0,X=3, 覆蓋情況 1） 、 5） ； ? 用 A=2,B=1,X=1, 預(yù)期結(jié)果： A=2,B=1,X=2, 覆蓋情況 2） 、 6） ? 用 A=1,B=0,X=2, 預(yù)期結(jié)果： A=1,B=0,X=3, 覆蓋情況 3)、 7) ? 用 A=1,B=1,C=1, 預(yù)期結(jié)果： A=1,B=1,X=1, 覆蓋情況 4)、 8) 59 白盒法（邏輯覆蓋） 條件組合覆蓋是 最強(qiáng) 的覆蓋 ， 雖然這四個(gè)測(cè)試實(shí)現(xiàn)了條件組合覆蓋 ， 但并沒有覆蓋每一條路徑 ，如：路徑 acd遺漏了 。 以上各種技術(shù)基本上是依次增強(qiáng)的順序 ， 但測(cè)試用例的數(shù)量也急劇增加 。 開銷大 ， 應(yīng)注意權(quán)衡 。 60 白盒法（邏輯覆蓋） ? (6)點(diǎn)覆蓋 ：圖論中的點(diǎn)覆蓋定義為：如果連通圖 G的子圖 G’ 是連通的 ， 而且包含 G的所有節(jié)點(diǎn) ， 則稱 G’是 G的點(diǎn)覆蓋 。 如果把程序流程圖的每個(gè)處理框 （ 含一個(gè)或多個(gè)語句 ） 作為一個(gè)節(jié)點(diǎn) ， 就畫出了程序圖 。滿足點(diǎn)覆蓋的要求是選取足夠多的測(cè)試用例 ， 測(cè)試執(zhí)行程序時(shí)的路徑 ， 至少經(jīng)過程序圖的每個(gè)節(jié)點(diǎn)一次 。顯然 ， 點(diǎn)覆蓋的要求和語句覆蓋的要求是相同的 。 61 白盒法（邏輯覆蓋） (7)邊覆蓋：圖論中的邊覆蓋定義為：如果連通圖 G的子圖 G’ 是連通的 ， 而且包含 G的所有邊 ，則稱 G’ 是 G的邊覆蓋 。 為了滿足邊覆蓋的測(cè)試要求 ，使得程序的執(zhí)行路徑經(jīng)過程序圖中的每一條邊 。 通常邊覆蓋和判定覆蓋是一致的 。 62 白盒法（邏輯覆蓋） (8)路徑覆蓋：選擇足夠的測(cè)試用例 ， 使得程序中的每條可能組合路徑都至少執(zhí)行一次 。 （ 如果程序圖中有環(huán) ， 則每個(gè)環(huán)至少