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