決策表方法“加”

決策表方法“加”軟件測(cè)試2功能性測(cè)試邊界值測(cè)試等價(jià)類測(cè)試基于決策表的測(cè)試功能性測(cè)試的回顧34決策表原因基本組成決策表的生成決策表的化簡(jiǎn)測(cè)試用例的設(shè)計(jì)討論44.1產(chǎn)生的原因四決策表決策表方法是功能性測(cè)試方法中最嚴(yán)格的。決策表的完備性保證一種完備的測(cè)試決策表方法可適用各種情況，不必要求數(shù)據(jù)的獨(dú)立性54決策表原因基本組成決策表的化簡(jiǎn)決策表的生成測(cè)試用例的設(shè)計(jì)討論64.2基本組成決策表的各個(gè)部分四決策表?xiàng)l件樁條件項(xiàng)行動(dòng)樁行動(dòng)項(xiàng)例ConditionStub：列出問(wèn)題的所有條件ConditionEntry：針對(duì)左列條件取值，給出真假值A(chǔ)ctionStub：列出問(wèn)題規(guī)定可能采取的行動(dòng)ActionEntry：在條件組合下應(yīng)采取的行動(dòng)規(guī)則74.2基本組成決策表的各個(gè)部分例四決策表樁r1r2r3-4r5r6r7-8條件c1YYYNNNc2YYNYYNc3YN-YN-行動(dòng)a1×××a2××a3××a4××例ConditionStub：列出問(wèn)題的所有條件ConditionEntry：針對(duì)左列條件取值，給出真假值A(chǔ)ctionStub：列出問(wèn)題規(guī)定可能采取的行動(dòng)ActionEntry：在條件組合下應(yīng)采取的行動(dòng)規(guī)則ifthen84.2基本組成讀書指南決策表四決策表12345678問(wèn)題你覺(jué)得疲倦嗎？YYYYNNNN你對(duì)內(nèi)容感興趣嗎？YYNNYYNN書中的內(nèi)容使你糊涂？YNYNYNYN建議請(qǐng)回到本章開頭重讀××繼續(xù)讀下去××跳到下一章去讀××停止閱讀，請(qǐng)休息××例ConditionStub：列出問(wèn)題的所有條件ConditionEntry：針對(duì)左列條件取值，給出真假值A(chǔ)ctionStub：列出問(wèn)題規(guī)定可能采取的行動(dòng)ActionEntry：在條件組合下應(yīng)采取的行動(dòng)規(guī)則Ifthen94.2基本組成如果條件條目具有二值邏輯，則決策表的條件部分是旋轉(zhuǎn)了90度的真值表保證覆蓋所有可能的條件值組合四決策表決策表的完備性保證一種完備的測(cè)試決策表的特點(diǎn)10決策表的各種表示方法C1:a,b,c構(gòu)成三角形？NYYYYYYYYC2:a=b嗎？-YYYYNNNNC3:a=c嗎？-YYNNYYNNC4:b=c嗎？-YNYNYNYNA1:非三角形×A2:不等邊三角形×A3:等腰三角形×××A4:等邊三角形×A5:不可能×××增加行動(dòng)--通過(guò)增加行動(dòng)，可顯示何時(shí)規(guī)則在邏輯上不可能滿足四決策表11決策表的各種表示方法細(xì)化條件C1:a<b+c？NYYYYYYYYYYC2:b<a+c?-NYYYYYYYYYC3:c<a+b?--NYYYYYYYYC4:a=b嗎？---YYYYNNNNC5:a=c嗎？---YYNNYYNNC6:b=c嗎？---YNYNYNYNA1:非三角形×××A2:不等邊三角形×A3:等腰三角形×××A4:等邊三角形×A5:不可能×××四決策表12決策表的各種表示方法增加一行規(guī)則條數(shù)統(tǒng)計(jì)C1:a<b+c？NYYYYYYYYYYC2:b<a+c?-NYYYYYYYYYC3:c<a+b?--NYYYYYYYYC4:a=b嗎？---YYYYNNNNC5:a=c嗎？---YYNNYYNNC6:b=c嗎？---YNYNYNYN規(guī)則條數(shù)統(tǒng)計(jì)A1:非三角形×××A2:不等邊三角形×A3:等腰三角形×××A4:等邊三角形×A5:不可能×××規(guī)則條數(shù)統(tǒng)計(jì)3216811111111四決策表13決策表的各種表示方法四決策表有限條目決策表——所有條件都是二叉條件條件的順序沒(méi)有要求若有n個(gè)條件，必須有(2n)條規(guī)則，每條規(guī)則對(duì)應(yīng)一個(gè)測(cè)試用例。若存在不關(guān)心項(xiàng)，則規(guī)則中每出現(xiàn)一個(gè)不關(guān)心項(xiàng)，規(guī)則數(shù)乘一次2。通過(guò)條件選擇，可大大擴(kuò)展決策表的規(guī)模擴(kuò)展條目決策表——條件可以有多個(gè)值若條件引用了等價(jià)類，則“—”的實(shí)際含義為：“必須失敗”144.5測(cè)試用例的設(shè)計(jì)NextDate問(wèn)題四決策表例若條件引用了等價(jià)類，則“—”的實(shí)際含義為：“必須失敗”輸入條件的等價(jià)類M1={月份|每月31天}M2={月份|每月30天}M3={月份|此月為2月}……條件規(guī)則1規(guī)則2規(guī)則3C1:月份在M1中嗎？Y--C2:月份在M2中嗎？-Y-C3:月份在M3中嗎？--Y規(guī)則條數(shù)444A1:A2:……規(guī)則總數(shù)：8個(gè)154.3決策表的化簡(jiǎn)原因基本組成決策表的化簡(jiǎn)決策表的生成測(cè)試用例的設(shè)計(jì)討論164.3決策表的化簡(jiǎn)設(shè)法合并具有相同動(dòng)作、且條件項(xiàng)相似的規(guī)則四決策表12345678問(wèn)題你覺(jué)得疲倦嗎？YYYYNNNN你對(duì)內(nèi)容感興趣嗎？YYNNYYNN書中的內(nèi)容使你糊涂嗎？YNYNYNYN建議請(qǐng)回到本章開頭重讀××繼續(xù)讀下去××跳到下一章去讀××停止閱讀，請(qǐng)休息××YN-×NN-×不關(guān)心條目174決策表原因基本組成決策表的化簡(jiǎn)決策表的生成測(cè)試用例的設(shè)計(jì)討論184.4決策表的生成根據(jù)軟件規(guī)格說(shuō)明，確定規(guī)則個(gè)數(shù)列出所有條件樁填入條件項(xiàng)ConditionEntry填入動(dòng)作項(xiàng)ActionEntry產(chǎn)生決策表并化簡(jiǎn)四決策表例決策表的產(chǎn)生可能需要迭代進(jìn)行注意完備性、無(wú)冗余性和一致性。194.4決策表的生成若問(wèn)題要求：“…對(duì)功率大于50馬力的機(jī)器、維修記錄不全或已運(yùn)行10年以上的機(jī)器，應(yīng)給予優(yōu)先的維修處理…”例條件：1.功率大于50馬力2.維修記錄不全3.運(yùn)行10年以上四決策表采取的措施：1.進(jìn)行優(yōu)先的維修處理2.做其它處理12345678問(wèn)題功率大于50馬力嗎？YYYYNNNN維修記錄不全嗎？YYNNYYNN運(yùn)行10年以上嗎？YNYNYNYN建議進(jìn)行優(yōu)先的維修處理×××××做其它處理×××204.4決策表的生成檢查發(fā)貨單If(發(fā)貨單金額超過(guò)$500)

If(欠款超過(guò)60天)在償還欠款前不予批準(zhǔn)Else發(fā)批準(zhǔn)書及發(fā)貨單

EndifElseIf(欠款超過(guò)60天)發(fā)批準(zhǔn)書、發(fā)貨單及賒欠報(bào)告

Else發(fā)批準(zhǔn)書及發(fā)貨單EndifEndif1234條件發(fā)貨單金額>500>500<=500<=500賒欠情況>60<=60>60<=60操作不發(fā)批準(zhǔn)書×發(fā)出批準(zhǔn)書×××發(fā)出發(fā)貨單×××發(fā)出賒欠報(bào)告×例四決策表檢查發(fā)貨單金額>500金額<=500欠款<=60欠款>60欠款<=60欠款>60發(fā)批準(zhǔn)書、發(fā)貨單不發(fā)批準(zhǔn)書發(fā)批準(zhǔn)書、發(fā)貨單發(fā)批準(zhǔn)書、發(fā)貨單和賒欠報(bào)告214決策表原因基本組成決策表的化簡(jiǎn)決策表的生成測(cè)試用例的設(shè)計(jì)討論224.5測(cè)試用例的設(shè)計(jì)用決策表表示測(cè)試用例，則輸入即為條件，輸出即為行動(dòng)，有時(shí)，條件最終引用輸入的等價(jià)類，行動(dòng)則引用軟件的主要功能處理部分決策表可機(jī)械地強(qiáng)制為完備的，故可得到測(cè)試用例的完整集合四決策表234.5測(cè)試用例的設(shè)計(jì)三角形問(wèn)題例四決策表輸出的等價(jià)類R1={<a,b,c>|有三條邊a,b,c的等邊三角形}R2={<a,b,c>|有三條邊a,b,c的等腰三角形}R3={<a,b,c>|有三條邊a,b,c的不等邊三角形}R4={<a,b,c>|三條邊a,b,c不構(gòu)成三角形}能構(gòu)成三角形？三角形類型？244.5測(cè)試用例的設(shè)計(jì)三角形問(wèn)題的決策表四決策表C1:a,b,c構(gòu)成三角形？NYYYYYYYYC2:a=b嗎？-YYYYNNNNC3:a=c嗎？-YYNNYYNNC4:b=c嗎？-YNYNYNYNA1:非三角形×A2:不等邊三角形×A3:等腰三角形×××A4:等邊三角形×A5:不可能×××通過(guò)增加行動(dòng)，顯示何時(shí)規(guī)則在邏輯上不可能滿足通過(guò)條件選擇，擴(kuò)展決策表的規(guī)模輸入條件的等價(jià)類D1={<a,b,c>|a>=b+c}D2={<a,b,c>|b>=a+c}D3={<a,b,c>|c>=a+b}254.5測(cè)試用例的設(shè)計(jì)改進(jìn)的三角形問(wèn)題的決策表四決策表C1:a<b+c？NYYYYYYYYYYC2:b<a+c?-NYYYYYYYYYC3:c<a+b?--NYYYYYYYYC4:a=b嗎？---YYYYNNNNC5:a=c嗎？---YYNNYYNNC6:b=c嗎？---YNYNYNYNA1:非三角形×××A2:不等邊三角形×A3:等腰三角形×××A4:等邊三角形×A5:不可能×××不關(guān)心條目對(duì)完整決策樹的識(shí)別有微妙影響。264.5測(cè)試用例的設(shè)計(jì)改進(jìn)的三角形問(wèn)題的決策表四決策表對(duì)于有限條目決策表：若有n個(gè)條件，須有(2n)條規(guī)則。若存在不關(guān)心項(xiàng)，則規(guī)則中每出現(xiàn)一個(gè)不關(guān)心項(xiàng)，規(guī)則數(shù)乘1次2。C1:a<b+c？NYYYYYYYYYYC2:b<a+c?-NYYYYYYYYYC3:c<a+b?--NYYYYYYYYC4:a=b嗎？---YYYYNNNNC5:a=c嗎？---YYNNYYNNC6:b=c嗎？---YNYNYNYN規(guī)則條數(shù)統(tǒng)計(jì)A1:非三角形×××A2:不等邊三角形×A3:等腰三角形×××A4:等邊三角形×A5:不可能×××規(guī)則總數(shù)：64個(gè)規(guī)則條數(shù)統(tǒng)計(jì)3216811111111274.5測(cè)試用例的設(shè)計(jì)改進(jìn)的三角形問(wèn)題的測(cè)試用例用例IDabc預(yù)期輸出1412非三角形2142非三角形3124非三角形4555等邊三角形5???不可能6???不可能7232等腰三角形8???不可能9322等腰三角形10223等腰三角形11345不等邊三角形四決策表284.5測(cè)試用例的設(shè)計(jì)NextDate問(wèn)題四決策表例若條件引用了等價(jià)類，則“—”的實(shí)際含義為：“必須失敗”輸入條件的等價(jià)類M1={月份|每月31天}M2={月份|每月30天}M3={月份|此月為2月}……條件規(guī)則1規(guī)則2規(guī)則3C1:月份在M1中嗎？Y--C2:月份在M2中嗎？-Y-C3:月份在M3中嗎？--Y規(guī)則條數(shù)444A1:A2:……規(guī)則總數(shù)：8個(gè)不關(guān)心條目對(duì)完整決策的識(shí)別有微妙影響。294.5測(cè)試用例的設(shè)計(jì)NextDate問(wèn)題條件1.11.21.31.42.12.22.32.43.13.23.33.4C1:月份在M1中嗎？YYYYYYNNYYNNC2:月份在M2中嗎？YYNNYYYYYNYNC3:月份在M3中嗎？YNYNYNYNYYYY規(guī)則條數(shù)111111111111A1:A2:……1234567四決策表規(guī)則總數(shù)：8個(gè)304.5測(cè)試用例的設(shè)計(jì)NextDate問(wèn)題條件1.11.21.31.42.32.43.4C1:月份在M1中嗎？YYYYNNNNC2:月份在M2中嗎？YYNNYYNNC3:月份在M3中嗎？YNYNYNYN規(guī)則條數(shù)11111111A1:不可能×××××A2:……識(shí)別和（開發(fā)）完備決策表的能力，使我們?cè)诮鉀Q冗余性和不一致性方面處于有利地位。四決策表314.5測(cè)試用例的設(shè)計(jì)冗余決策表?xiàng)l件1-456789C1:月份在M1中嗎？YNNNNYC2:月份在M2中嗎？-YYNNNC3:月份在M3中嗎？-YNYNNA1:×××－－×A2:-＋××－－A3:×－××××9YNN×－×規(guī)則1-4和9是冗余的。四決策表決策表是確定的。324.5測(cè)試用例的設(shè)計(jì)不一致決策表?xiàng)l件1-456789C1:月份在M1中嗎？YNNNNYC2:月份在M2中嗎？-YYNNNC3:月份在M3中嗎？-YNYNNA1:×××－－×A2:-＋××－－A3:×－××××9YNN－×－規(guī)則4和9不一致。在決策表中應(yīng)小心使用不關(guān)心條目“－”四決策表決策表是不確定的。33四決策表4.5測(cè)試用例的設(shè)計(jì)NextDate問(wèn)題輸入條件的等價(jià)類M1={月份|每月30天}M2={月份|每月31天}M3={月份|此月為2月}D1={日期|1<=日期<=28}D2={日期|日期=29}D3={日期|日期=30}D4={日期|日期=31}Y1={年|年是閏年}Y2={年|年不是閏年}條件C1:月份在M1中？YY---------…C2:月份在M2中？Y-Y--------…C3:月份在M3中？-YY--------…C4:日期在D1中？---YYY---YY…C5:日期在D2中？---Y--YY-YY…C6:日期在D3中？----Y-Y-YY-…C7:日期在D4中？-----Y-YY-Y…C8:年在Y1中？-----------…A1:不可能××××××××××××A2:NextDate關(guān)注不可能的組合A1:月份中的天數(shù)太多A2:不能出現(xiàn)在非閏年中A3:計(jì)算NextDate規(guī)則總數(shù)：256個(gè)344.5測(cè)試用例的設(shè)計(jì)NextDate問(wèn)題輸入條件的等價(jià)類M1={月份|每月30天}M2={月份|每月31天}M3={月份|此月為2月}D1={日期|1<=日期<=28}D2={日期|日期=29}D3={日期|日期=30}D4={日期|日期=31}Y1={年|年是閏年}Y2={年|年是平年}關(guān)注閏年關(guān)注擴(kuò)展條目決策表日期增1日期復(fù)位月份增1月份復(fù)位年增1四決策表擴(kuò)展動(dòng)作樁Y1={年|年是1900年}Y2={年|…}Y3={年|…}A1：不可能A2：計(jì)算NextDateY1={年:年=1900}

Y2={:1812≤年≤2012AND(年≠1900)AND(年=0mod4)}

Y3={年:(1812≤年≤2012AND年≠0mod4)}354.5測(cè)試用例的設(shè)計(jì)NextDate問(wèn)題條件12345678910111213141516C1:月份在M1M1M1M1M2M2M2M2M3M3M3M3M3M3M3M3C2:日期在D1D2D3D4D1D2D3D4D1D1D1D2D2D2D3D4C3:年在--------Y1Y2Y3Y1Y2Y3--規(guī)則條數(shù)統(tǒng)計(jì)3333333311111133A1:不可能××××A2:日期增1××××××A3:日期復(fù)位××××××A4:月份增1×？××××A5:月份復(fù)位？A6:年增1？規(guī)則總數(shù)：36個(gè)四決策表強(qiáng)一般等價(jià)類測(cè)試用例：36個(gè)364.5測(cè)試用例的設(shè)計(jì)NextDate問(wèn)題輸入條件的等價(jià)類M1={月份|每月30天}M2={月份|每月31天}M3={月份|此月為2月}D1={日期|1<=日期<=28}D3={日期|日期=29}D4={日期|日期=30}D5={日期|日期=31}Y1={年|年是1900年}Y2={年|年是閏年}Y3={年|年是平年}輸入條件的等價(jià)類M2={月份|每月31天，12月除外}M3={月份|此月為12月}M4={月份|此月為2月}輸入條件的等價(jià)類D1={日期|1<=日期<=27}D2={日期|日期=28}輸入條件的等價(jià)類Y1={年|年是閏年}Y2={年|年不是閏年}四決策表規(guī)則總數(shù)：40個(gè)強(qiáng)一般等價(jià)類測(cè)試用例：40個(gè)374.5測(cè)試用例的設(shè)計(jì)NextDate問(wèn)題四決策表?xiàng)l件1-3456-91011-1415161718192021,22C1:月份在M1M1M1M2M2M3M3M4M4M4M4M4M4C2:日期在D1