白盒測試之理論篇ppt課件(編輯修改稿)
2025-06-01 18:55 本頁面
【文章內(nèi)容簡介】 1誤寫成 X＞ 0,這個測 試用例也不能暴露它，此外，沿著路徑 abd執(zhí)行 時， X的值應(yīng)該保持不變，如果這一方面有錯 誤，上述測試數(shù)據(jù)也不能發(fā)現(xiàn)它們。 語句覆蓋 分支 覆蓋 A=3， B=0， X=1 (沿路徑 acd執(zhí)行 ) A=2， B=1， X=3 (沿路徑 abe執(zhí)行 ) 比“語句覆蓋”稍強的覆蓋標準是“ 分支 覆蓋” 含義是：執(zhí)行足夠的測試用例，使得程序中的每一個分支至少都通過一次。 對例 1的程序，如果設(shè)計兩個例子，使它們能通過路徑 ace和 abd，或者通過路徑 acd和 abe，就可達到“判定覆蓋”標準，為此，可以選擇輸入數(shù)據(jù)為： ① A=3， B=0， X=1 (沿路徑 acd執(zhí)行 )； ② A=2， B=1， X=3(沿路徑 abe執(zhí)行 ) 程序中含有判定的語句包括 ifthenelse、 dountil、case、 dowhile等，所以“ 分支 覆蓋”更一般的含義是：使得每一個 分支 獲得每一種可能的結(jié)果。 “ 分支 覆蓋”比“語句覆蓋”嚴格，因為如果每個分支都執(zhí)行過了，則每個語句也就執(zhí)行過了。但是，“ 分支 覆蓋”還是很不夠的，例如例 1兩個測試用例未能檢查沿著路徑 abd執(zhí)行時， X的值是否保持不變。 條件覆蓋 A=2， B=0， X=4 (沿路徑 ace執(zhí)行 ) A=1， B=1， X=1 (沿路徑 abd執(zhí)行 ) 一個判定中往往包含了若干個條件， 如例 1的程序中，判定 (A＞ 1) AND (B=0)包含了兩個條件： A＞ 1以及 B=0，所以可引進一個更強的覆蓋標準 —— “條件覆蓋”。 “條件覆蓋”的含義是：執(zhí)行足夠的測試用例使得判定中的每個條件獲得各種可能的結(jié)果。 例 1的程序有四個條件： A＞ B=0、 A= X＞ 1 為了達到“條件覆蓋”標準，需要執(zhí)行足夠的測試用例使得在 a點有： A＞ A≤1 、 B=0、 B≠0 等各種結(jié)果出現(xiàn)， 以及在 b點有： A= A≠2 、 X＞ X≤1 等各種結(jié)果出現(xiàn)。 現(xiàn)在只需設(shè)計以下兩個測試用例就可滿足這一標準： ① A=2， B=0， X=4 (沿路徑 ace執(zhí)行 )； ② A=1， B=1， X=1 (沿路徑 abd執(zhí)行 )。 條件覆蓋 ? “條件覆蓋”通常比“ 分支 覆蓋”強，因為它使一個判定中的每一個條件都取到了兩個不同的結(jié)果，而判定覆蓋則不保證這一點。 ? “條件覆蓋”并不包含“ 分支 覆蓋”，如對語句 IF(A AND B)THEN S 設(shè)計測試用例使其滿足 條件覆蓋 ,即使A為真并使 B為假 ,以及使 A為假而且 B為真 ,但是它們都未能使語句 S得以執(zhí)行。 條件覆蓋 如對例 2設(shè)計了下面的測試用例，則雖然滿足了條件覆蓋，但只覆蓋了第一個條件的取假分支和第二個條件的取真分支，不滿足 分支 覆蓋的要求。 測試用例 通過路徑 條件取值 覆蓋分支 x= y=z=5 acd T T TT4 cd x= y=z=15 acd T T TT4 cd Y e s入口Noabc執(zhí)行語句塊 2執(zhí)行語句塊 1Y e sdNoe出口執(zhí)行語句塊 3( x 3 ) amp。 amp。 ( z 1 0 )( x = = 4 ) ||( y 5 ) 分支 /條件覆蓋 ? 針對上面的問題引出了另一種覆蓋標準 —— “ 分支 ／條件覆蓋”，它的含義是：執(zhí)行足夠的測試用例，使得分支 中每個條件取到各種可能的值，并使每個 分支 取到各種可能的結(jié)果。 對例 1的程序，前面的兩個例子 ① A=2， B=0， X=4 (沿 ace路 ) ② A=1， B=1， X=1 (沿 abd路徑 ) 是滿足這一標準的。 分支 /條件覆蓋 對例 2，根據(jù)定義只需設(shè)計以下兩個測試用例便可以覆蓋 8個條件值以及 4個判斷分支。 Y e s入口Noabc執(zhí)行語句塊 2執(zhí)行語句塊 1Y e sdNoe出口執(zhí)行語句塊 3( x 3 ) amp。 amp。 ( z 1 0 )( x = = 4 ) ||( y 5 )測試用例 通過路徑 條件取值 覆蓋分支 x= y=z=5 abd T T TT4 bd x= y=z=11 ace T T T3
教學課件相關(guān)推薦
鄂ICP備17016276號-1