條件覆蓋法-美化

軟件測試技術(shù)主講教師：張萍——條件覆蓋法條件覆蓋法條件覆蓋設(shè)計測試用例每個條件至少有一次為真值，有一次為假值條件覆蓋比判定覆蓋增加了對判定條件的進一步驗證增加了測試路徑條件覆蓋并不能保證滿足判定覆蓋準則條件覆蓋只能保證每個條件至少一次為真不考慮條件之間的組合情況，因此也不會考慮整個判定的結(jié)果條件覆蓋法案例剖析ifAandBthenaction1ifCorDthenaction2例1根據(jù)條件覆蓋法的要求，最終設(shè)計如下測試用例：A=trueB=trueC=trueD=trueA=falseB=falseC=falseD=false條件覆蓋法在上面的案例中只驗證了每一個判定條件為真值、假值問題沒有考慮到條件之間的組合情況也沒有關(guān)注整個判定的結(jié)果如果用例設(shè)計不恰當(dāng)，則會出現(xiàn)測試遺漏例如設(shè)計出下面的測試用例，同樣滿足條件覆蓋法的要求：A=trueB=falseC=trueD=falseA=falseB=trueC=falseD=true驗證了第一次判定為假值的情況沒有驗證第一次判定為真值的情況條件覆蓋法例2條件覆蓋法x>=80andy>=80x+y>=140and(x>=90ory=>90)條件取值標記x>=80取真T1取假F1y>=80取真T2取假F2x+y>=140取真T3取假F3x>=90取真T4取假F4y=>90取真T5取假F5條件覆蓋法x>=80andy>=80x+y>=140and(x>=90ory=>90)最終設(shè)計如下測試用例：X值Y值路徑覆蓋條件19090ABT1，T2，T3，T4，T529070ACDT1，F(xiàn)2，T3，T4，F(xiàn)537090ACDF1，T2，T3，F(xiàn)4，T545050ACEF1，F(xiàn)2，F(xiàn)3，F(xiàn)4，F(xiàn)5條件覆蓋法例3條件覆蓋法在上面的流程圖中，可以看到同樣是進行了兩次判斷：銷售數(shù)量>40and基礎(chǔ)提成數(shù)>400銷售數(shù)量>50and工種=1條件取值標記銷售數(shù)量>40取真T1取假F1基礎(chǔ)提成數(shù)>400取真T2取假F2銷售數(shù)量>50取真T3取假F3工種=1取真T4取假F4條件覆蓋法銷售數(shù)量>40and基礎(chǔ)提成數(shù)>400銷售數(shù)量>50and工種=1在上面的流程圖中，可以看到同樣是進行了兩次判斷使用條件覆蓋法，最終設(shè)計如下測試用例：銷售數(shù)量saleNum基礎(chǔ)提成數(shù)BasicComm工種TypeOfWork路徑覆蓋條件110010002OADET1，T2，T3，F(xiàn)225010001OADET1，T2，F(xiàn)3，T43404001OBEF1，F(xiàn)2，F(xiàn)3，T4條件覆蓋法通過該案例僅需要設(shè)計3條測試用例，就可以滿足條件覆蓋的要求問題沒有考慮到條件之間的組合情況沒有考慮到整個判定的結(jié)果如果用例設(shè)計不正確，會出現(xiàn)測試遺漏需要補充或修改測試用例銷售數(shù)量saleNum基礎(chǔ)提成數(shù)BasicComm工種TypeOfWork路徑410010001OACE條件覆蓋法例4條件覆蓋法例4條件取值標記判斷輸入的年份是否非數(shù)字取真T1取假F1判斷輸入的年份是否等于0取真T2取假F2判斷輸入的年份是否大于9999取真T3取假F3判斷輸入的年份是否能被4整除取真T4取假F4不能為100整除取真T5取假F5能被400整除取真T6取假F6條件覆蓋法判斷輸入的年份是否非數(shù)字判斷輸入的年份是否等于0或大于9999在案例所示的代碼中，使用了if…else選擇結(jié)構(gòu)進行了3次判斷使用條件覆蓋法，最終設(shè)計如下測試用例：判斷輸入的年份是否能被4整除但不能為100整除或能被400整除年份input預(yù)期結(jié)果覆蓋條件1201a請檢查是否輸入非法字符T1，F(xiàn)2，F(xiàn)3，F(xiàn)4，T5，F(xiàn)620輸入年份有誤F1，T2，F(xiàn)3，T4，F(xiàn)5，T6310000輸入年份有誤F1，F(xiàn)2，T3，T4，F(xiàn)5，T642000輸入年份為閏年F1，F(xiàn)2，F(xiàn)3，T4，F(xiàn)5，