白盒測(cè)試及其用例的設(shè)計(jì)(編輯修改稿)
2025-02-08 15:37 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 要設(shè)計(jì)一個(gè)測(cè)試用例 就可以把三個(gè)執(zhí)行語(yǔ)句塊中的語(yǔ)句覆蓋了。 測(cè)試用例輸入為： {x= y= z=5} 程序執(zhí)行的路徑是： abd Y e s入口Noabc執(zhí)行語(yǔ)句塊 2執(zhí)行語(yǔ)句塊 1Y e sdNoe出口執(zhí)行語(yǔ)句塊 3( x 3 ) amp。 amp。 ( z 1 0 )( x = = 4 ) | | ( y 5 ) 該測(cè)試用例雖然覆蓋了每條可執(zhí)行語(yǔ)句，但并不能檢查判斷邏輯是否有問(wèn)題，例如在第一個(gè)判斷中把 amp。amp。錯(cuò)誤的寫成了 ||，則上面的測(cè)試用例仍可以覆蓋所有的執(zhí)行語(yǔ)句（即查不出 寫錯(cuò)了 這個(gè)事實(shí)）可以說(shuō)語(yǔ)句覆蓋率是最弱的邏輯覆蓋準(zhǔn)則 使程序中每個(gè)語(yǔ)句至少執(zhí)行一次 判定覆蓋 對(duì)于上面的程序，如果設(shè)計(jì)兩個(gè)測(cè)試用例則可以滿足分支覆蓋的要求。 測(cè)試用例的輸入為： { x= y= z=5 } abd { x= y= z=5 } ace 上面的兩個(gè)測(cè)試用例雖然能夠滿足分支覆蓋的要求，但是也不能實(shí)現(xiàn)對(duì)判斷條件的檢查效果，如果把第二個(gè)條件 y5錯(cuò)誤地寫成 y5，上面的測(cè)試用例同樣滿足了分支覆蓋（即查不出寫錯(cuò)了 這個(gè)事實(shí)） Y e s入口Noabc執(zhí)行語(yǔ)句塊 2執(zhí)行語(yǔ)句塊 1Y e sdNoe出口執(zhí)行語(yǔ)句塊 3( x 3 ) amp。 amp。 ( z 1 0 )( x = = 4 ) | | ( y 5 )使程序中每個(gè)判斷的取真分支和取假分支至少執(zhí)行一次 條件覆蓋 就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)試對(duì)象，使得程序中 每個(gè)判斷 的 每個(gè)條件 的 所有可能取值 至少執(zhí)行一次。 對(duì)例子中的所有條件取值加以標(biāo)記。例如： 對(duì)于第一個(gè)判斷： 條件 1： x3 取真值為 T1， 取假值為 T1 條件 2： z10 取真值為 T2， 取假值為 T2 對(duì)于第二個(gè)判斷： 條件 1： x=4 取真值為 T3， 取假值為 T3 條件 2： y5 取真值為 T4， 取假值為 T4 Y e s入口Noabc執(zhí)行語(yǔ)句塊 2執(zhí)行語(yǔ)句塊 1Y e sdNoe出口執(zhí)行語(yǔ)句塊 3( x 3 ) amp。 amp。 ( z 1 0 )( x = = 4 ) | | ( y 5 )使程序中每個(gè)判斷每個(gè)條件分別取真和取假各一次 可以設(shè)計(jì)測(cè)試用例如下： 測(cè)試用例 通過(guò)路徑 條件取值 覆蓋分支 x= y= z=5 abd T T T T4 bd x= y= z=5 ace T T T T4 ce 上面的測(cè)試用例不但覆蓋了所有分支的真假兩個(gè)分支，而且覆蓋了判斷中的所有條件的可能值 Y e s入口Noabc執(zhí)行語(yǔ)句塊 2執(zhí)行語(yǔ)句塊 1Y e sdNoe出口執(zhí)行語(yǔ)句塊 3( x 3 ) amp。 amp。 ( z 1 0 )( x = = 4 ) | | ( y 5 ) 如果設(shè)計(jì)了下面的測(cè)試用例，則雖然滿足了條件覆蓋，但只覆蓋了第一個(gè)條件的取假分支和第二個(gè)條件的取真分支，又不滿足 分支覆蓋 的要求（ be線路未執(zhí)行） 測(cè)試用例 通過(guò)路徑 條件取值 覆蓋分支 x= y= z=5 acd T T T T4 cd x= y= z=5 acd T T T T4 cd 使程序中每個(gè)判斷的 取真分支 和 取假分支 至少執(zhí)行一次 需要改進(jìn)：即 判定 條件覆蓋 判定 條件覆蓋 判定 條件覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，使得判斷中 每個(gè)條件 的 所有可能取值 至少執(zhí)行一次，同時(shí) 每個(gè)判斷的所有可能判斷結(jié)果 至少執(zhí)行。 根據(jù)定義只需設(shè)計(jì)以下兩個(gè)測(cè)試用例便可以覆蓋 8個(gè)條件值以及 4個(gè)判斷分支。 測(cè)試用例 通過(guò)路徑 條件取值 覆蓋分支 x= y= z=5 abd T T T T4 bd x= y= z=11 ace T T T T4 ce Y e s入口Noabc執(zhí)行語(yǔ)句塊 2執(zhí)行語(yǔ)句塊 1Y e sdNoe出口執(zhí)行語(yǔ)句塊 3( x 3 ) amp。 amp。 ( z 1 0 )( x = = 4 ) | | ( y 5 ) 判定 條件覆蓋從表面來(lái)看，測(cè)試了所有條件的取值，但實(shí)際上，某些條件掩蓋了另一些條件，即仍然有遺漏。 例如：對(duì)于條件表達(dá)式 (x3)amp。amp。(z10)來(lái)說(shuō)，必須兩個(gè)條件都滿足才能確定表達(dá)式為真。 如果（ x3） 為假，則一般的編譯器將不再判斷是否（ z10）是否為真。對(duì)于第二個(gè)表達(dá)式（ x==4） ||（ y5） 來(lái)說(shuō)，若 x==4測(cè)試結(jié)果為真，就認(rèn)為表達(dá)式的結(jié)果為真，這時(shí)不再檢查（ y5） 是否為真。 可見(jiàn)，采用判定 條件覆蓋，邏輯表達(dá)式中的錯(cuò)誤不一定都能查出來(lái)。 Y e s入口Noabc執(zhí)行語(yǔ)句塊 2執(zhí)行語(yǔ)句塊 1Y e sdNoe出口執(zhí)行語(yǔ)句塊 3( x 3 ) amp。 amp。 ( z 1 0 )( x = = 4 ) | | ( y 5 )條件組合覆蓋： 條件組合覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，運(yùn)行被測(cè)試對(duì)象，使得每一個(gè)判斷的所有可能的條件取值 組合 至少執(zhí)行一次。 現(xiàn)在對(duì)例子中的各個(gè)判斷的條件取值組合加以標(biāo)記如下： 3,z10 記做 T1 T2， 第一個(gè)判斷的取真分支 3,z=10 記做 T1 T2， 第一個(gè)判斷的取假分支 =3,z10 記做 T1 T2， 第一個(gè)判斷的取假分支 =3,z=10 記做 T1 T2， 第一個(gè)判斷的取假分支 =4,y5 記做 T3 T4， 第二個(gè)判斷的取真分支 =4,y=5 記做 T3 T4， 第二個(gè)判斷的取真分支 !=4,y5 記做 T3 T4， 第二個(gè)判斷的取真分支 !=4,y=5 記做 T3 T4， 第二個(gè)判斷的取假分支 判定 條件覆蓋使得判斷中每個(gè)條件的所有可能取值至少執(zhí)行一次， 同時(shí)每個(gè)判斷的所有可能判斷結(jié)果至少執(zhí)行一次 if((x3)amp。amp。(z10)) if((x= =4)||(y5)) 根據(jù)定義取 4個(gè)測(cè)試用例，就可以覆蓋上面 8種條件取值的組合測(cè)試用例。如下表： 測(cè)試用例 通過(guò)路徑 條件取值 覆蓋組 合號(hào) x= y= z=5 abd T T T T4 1和 5 x= y= z=15 acd T T T T4 2和 6 x= y= z=5 acd T T T T4 3和 7 x= y= z=15 ace T T T T4 4和 8
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1