[計(jì)算機(jī)軟件及應(yīng)用]軟件測(cè)試-白盒測(cè)試(編輯修改稿)
2024-11-15 04:22 本頁面
【文章內(nèi)容簡(jiǎn)介】 覆蓋。 ? 條件覆蓋（ Condition Coverage） 是指設(shè)計(jì)若干個(gè)測(cè)試用例，執(zhí)行被測(cè)試程序時(shí)，程序中每個(gè)判斷條件中的每個(gè)判斷式的真值和假值至少被執(zhí)行一遍。 二、白盒測(cè)試的常用方法 條件覆蓋 ? 因此，在第一個(gè)判定（ A1） AND(B=0)中應(yīng)考慮到各種條件取值的情況： ? A1為 true,記為 T1。 ? A1為 false,記為 T1。 ? B=0為 true,記為 T2。 ? B=0為 false,記為 T2。 ? 同樣，對(duì)于第二個(gè)判定（ A=2） OR(X1)應(yīng)考慮到： ? A=2為 true,記為 T3。 ? A=2為 false,記為 T3。 ? X1為 true,記為 T4。 ? X1為 false,記為 t4。 二、白盒測(cè)試的常用方法 條件覆蓋 ? 這兩個(gè)測(cè)試用例不但覆蓋了 4個(gè)條件的全部 8種情況，而且將兩個(gè)判定的 4個(gè)分支 b、 c、 d、 e也同時(shí)覆蓋了，即同時(shí)達(dá)到了條件覆蓋和判定覆蓋。 測(cè)試用例 A， B， X 執(zhí)行路徑 覆蓋條件 Test Case 1 2， 0， 3 ace T1,T2,T3,T4 Test Case 5 1， 1， 1 abd T1,T2,T3,T4 二、白盒測(cè)試的常用方法 條件覆蓋 ? 但是并不可以說判斷覆蓋是條件覆蓋的子集 。 ? 上表中雖然覆蓋了 4個(gè)內(nèi)部判斷式的 8種真假值情況 。但是這組測(cè)試用例的執(zhí)行路徑是 abe，僅是覆蓋了判斷條件的 4個(gè)真假分支中的 2個(gè)。 ? 所以，需要設(shè)計(jì)一種能同時(shí)滿足判斷覆蓋和條件覆蓋的覆蓋測(cè)試方法，即判斷 /條件覆蓋測(cè)試。 測(cè)試用例 A， B， X 執(zhí)行路徑 覆蓋條件 Test Case 6 1， 0， 3 abe T1,T2,T3,T4 Test Case 4 1， 1， 1 abe T1,T2,T3,T4 二、白盒測(cè)試的常用方法 判定 /條件覆蓋 ? 判斷 /條件覆蓋是指設(shè)計(jì)若干個(gè)測(cè)試用例， 執(zhí)行被測(cè)試程序時(shí)，程序中每個(gè)判斷條件的真假值分支至少被執(zhí)行一遍，并且每個(gè)判斷條件的內(nèi)部判斷式的真假值分支也要被執(zhí)行一遍。 ? 上表雖然滿足了判斷覆蓋和條件覆蓋，但是沒有對(duì)每個(gè)判斷條件的內(nèi)部判斷式的所有真假值組合進(jìn)行測(cè)試。條件組合判斷是必要的，因?yàn)闂l件判斷語句中的 “ 與 ” 和 “ 或 ” ，即 “ amp。amp?！焙?“ ||”，會(huì)使內(nèi)部判斷式之間產(chǎn)生抑制作用。例如， C=A amp。amp。 B中，如果 A為假值，那么 C就為假值，測(cè)試程序就不檢測(cè) B了，B的正確與否就無法測(cè)試了。同樣， C=A || B中，如果 A為真值，那么 C就為真值，測(cè)試程序也不檢測(cè) B了， B的正確與否也就無法測(cè)試了。 測(cè)試用例 A， B， X 執(zhí)行路徑 覆蓋條件 (A1)and (B=0) (A=2)or (X1) Test Case 1 2， 0， 3 ace T1,T2,T3,T4 True True Test Case 5 1， 1， 1 abd T1,T2,T3,T4 False False 二、白盒測(cè)試的常用方法 組合覆蓋 ? 條件組合覆蓋是指設(shè)計(jì)若干個(gè)測(cè)試用例， 執(zhí)行被測(cè)試程序時(shí)，程序中每個(gè)判斷條件的的內(nèi)部判斷式的各種真假組合可能都至少被執(zhí)行一遍。 可見，滿足條件組合覆蓋的測(cè)試用例組一定滿足判斷覆蓋、條件覆蓋和判斷 /條件覆蓋。 ? 在上述示例程序段中，每個(gè)判定各包含有兩個(gè)條件，這兩個(gè)條件在判定中有 8種可能的組合 ： ? A1,B=0,記為 T1,T2。 ? A1,B0,記為 T1,T2。 ? A=1,B=0,記為 T1,T2。 ? A=1,B0,記為 T1,T2。 ? A=2,X1,記為 T3,T4。 ? A=2
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1