軟件質(zhì)量與測(cè)試第四次講課

1、黑盒測(cè)試1黑盒測(cè)試3.4 基于決策表的測(cè)試23.4 基于決策表的測(cè)試基本組成決策表的生成決策表的化簡(jiǎn)測(cè)試用例的設(shè)計(jì)討論原因31原因等價(jià)類(lèi)測(cè)試獨(dú)立性假設(shè)，忽略輸入條件的相互關(guān)聯(lián)，所以測(cè)試用例存在嚴(yán)重的冗余。決策表是功能性測(cè)試方法中最嚴(yán)格的。決策表的完備性保證一種完備的測(cè)試41原因決策表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具。 決策表的優(yōu)點(diǎn)：能夠?qū)?fù)雜的問(wèn)題按照各種可能的情況全部列舉出來(lái)，簡(jiǎn)明并避免遺漏。因此，利用決策表能夠設(shè)計(jì)出完整的測(cè)試用例集合?；跊Q策表的測(cè)試是以等價(jià)類(lèi)為基礎(chǔ)的，測(cè)試的完備性和無(wú)冗余性通過(guò)決策表可以得到較為完美的體現(xiàn)。53.4 基于決策表的測(cè)試基本組成決策表的生成決

2、策表的化簡(jiǎn)測(cè)試用例的設(shè)計(jì)討論原因62 基本組成讀書(shū)指南決策表12345678問(wèn)題你覺(jué)得疲倦嗎？YYYYNNNN你對(duì)內(nèi)容感興趣嗎？YYNNYYNN書(shū)中的內(nèi)容使你糊涂？YNYNYNYN建議請(qǐng)回到本章開(kāi)頭重讀繼續(xù)讀下去跳到下一章去讀停止閱讀，請(qǐng)休息例Condition Stub：列出問(wèn)題的所有條件Condition Entry ：針對(duì)左列條件取值，給出真假值A(chǔ)ctionStub ：列出問(wèn)題規(guī)定可能采取的行動(dòng)Action Entry ：在條件組合下應(yīng)采取的行動(dòng)規(guī)則72 基本組成 條件樁（Condition Stub） 列出問(wèn)題的所有條件 條件項(xiàng)（Condition Entity）針對(duì)條件樁給出的條件列

3、出所有可能的取值 動(dòng)作樁（Action Stub）列出問(wèn)題規(guī)定可能采取的操作 動(dòng)作項(xiàng)（Action Entity）指出在條件項(xiàng)的各組取值情況下應(yīng)采取的動(dòng)作 規(guī)則(rule)-將任何一個(gè)條件組合的特定取值及相應(yīng)要執(zhí)行的動(dòng)作稱(chēng)為一條規(guī)則。在決策表中貫穿條件項(xiàng)和動(dòng)作項(xiàng)的一列就是一條規(guī)則。82 基本組成93.4 基于決策表的測(cè)試基本原理通過(guò)對(duì)決策表進(jìn)行化簡(jiǎn)，消除測(cè)試用例的冗余，縮減測(cè)試用例規(guī)模，同時(shí)保持等價(jià)類(lèi)測(cè)試的效果103.4 基于決策表的測(cè)試測(cè)試用例設(shè)計(jì)決策表的結(jié)構(gòu)決策表的化簡(jiǎn)測(cè)試用例的設(shè)計(jì)113.4 基于決策表的測(cè)試設(shè)法合并具有相同動(dòng)作、且條件項(xiàng)相似的規(guī)則12345678問(wèn)題你覺(jué)得疲倦嗎？YYY

4、YNNNN你對(duì)內(nèi)容感興趣嗎？YYNNYYNN書(shū)中的內(nèi)容使你糊涂嗎？YNYNYNYN建議請(qǐng)回到本章開(kāi)頭重讀繼續(xù)讀下去跳到下一章去讀停止閱讀，請(qǐng)休息YN -NN -不關(guān)心條目123.4 基于決策表的測(cè)試決策表的結(jié)構(gòu)133.4 基于決策表的測(cè)試1、輸入條件都是有效等價(jià)類(lèi)，不是具體的數(shù)據(jù)。2、不考慮無(wú)效等價(jià)類(lèi)。3、輸出取值區(qū)不涉及輸出域的等價(jià)劃分。143.4 基于決策表的測(cè)試測(cè)試用例設(shè)計(jì)決策表的結(jié)構(gòu)決策表的化簡(jiǎn)測(cè)試用例的設(shè)計(jì)153.4 基于決策表的測(cè)試對(duì)測(cè)試用例進(jìn)行化簡(jiǎn)的前提條件輸出相同：欲化簡(jiǎn)的多個(gè)測(cè)試用例的預(yù)期輸出結(jié)果應(yīng)完全相同；輸入相似：欲化簡(jiǎn)的多個(gè)測(cè)試用例的輸入應(yīng)相似，僅有一個(gè)輸入條件取值(即

5、對(duì)應(yīng)的等價(jià)類(lèi))可以不相同，其他輸入條件的取值(即對(duì)應(yīng)的等價(jià)類(lèi))應(yīng)完全相同化簡(jiǎn)的結(jié)果是使得某個(gè)輸入條件的取值對(duì)測(cè)試用例的輸出無(wú)影響163.4 基于決策表的測(cè)試測(cè)試用例設(shè)計(jì)決策表的結(jié)構(gòu)決策表的化簡(jiǎn)測(cè)試用例的設(shè)計(jì)173.4 基于決策表的測(cè)試測(cè)試用例設(shè)計(jì)分析輸入域，并對(duì)個(gè)體輸入域進(jìn)行有效等價(jià)類(lèi)劃分分析輸出域，并對(duì)預(yù)期輸出結(jié)果進(jìn)行細(xì)化；建立完整的決策表對(duì)決策表進(jìn)行不斷地化簡(jiǎn)，直至無(wú)法繼續(xù)化簡(jiǎn)根據(jù)最終的決策表設(shè)計(jì)測(cè)試用例183.4 基于決策表的測(cè)試捉蟲(chóng)實(shí)踐5：第二日問(wèn)題第一次測(cè)試嘗試第二次測(cè)試嘗試193.4 基于決策表的測(cè)試第一次測(cè)試嘗試203.4 基于決策表的測(cè)試化簡(jiǎn)后的結(jié)果213.4 基于決策表的測(cè)試

6、第二次測(cè)試嘗試223.4 基于決策表的測(cè)試第二次測(cè)試嘗試233.4 基于決策表的測(cè)試?yán)簡(jiǎn)栴}要求：”對(duì)功率大于50馬力的機(jī)器、維修記錄不全或已運(yùn)行10年以上的機(jī)器，應(yīng)給予優(yōu)先的維修處理”按5步建立判定表243.4 基于決策表的測(cè)試計(jì)算規(guī)則數(shù)列出所有條件、動(dòng)作填入條件項(xiàng)和動(dòng)作項(xiàng)253.4 基于決策表的測(cè)試化簡(jiǎn)，合并規(guī)則263.4 基于決策表的測(cè)試?yán)喝切螁?wèn)題輸出的等價(jià)類(lèi)R1=|有三條邊a,b,c的等邊三角形R2=|有三條邊a,b,c的等腰三角形R3=|有三條邊a,b,c的不等邊三角形R4=|三條邊a,b,c不構(gòu)成三角形能構(gòu)成三角形？三角形類(lèi)型？273.4 基于決策表的測(cè)試三角形問(wèn)題的決策表C1

7、:a,b,c構(gòu)成三角形？NYYYYYYYYC2:a=b嗎？-YYYYNNNNC3:a=c嗎？-YYNNYYNNC4:b=c嗎？-YNYNYNYNA1:非三角形A2:不等邊三角形A3:等腰三角形A4:等邊三角形A5:不可能通過(guò)增加行動(dòng)，顯示何時(shí)規(guī)則在邏輯上不可能滿(mǎn)足通過(guò)條件選擇，擴(kuò)展決策表的規(guī)模輸入條件的等價(jià)類(lèi)D1=|a=b+cD2=|b=a+cD3=|c=a+b283.4 基于決策表的測(cè)試改進(jìn)的三角形問(wèn)題的決策表C1:ab+c？NYYYYYYYYYYC2:ba+c?-NYYYYYYYYYC3:ca+b?-YYYYYYYYYC4:a=b嗎？-YYYYNNNNC5:a=c嗎？-YYNNYYNNC6

8、:b=c嗎？-YNYNYNYNA1:非三角形A2:不等邊三角形A3:等腰三角形A4:等邊三角形A5:不可能293.4 基于決策表的測(cè)試改進(jìn)的三角形問(wèn)題的決策表C1:ab+c？NYYYYYYYYYYC2:ba+c?-NYYYYYYYYYC3:ca+b?-YYYYYYYYYC4:a=b嗎？-YYYYNNNNC5:a=c嗎？-YYNNYYNNC6:b=c嗎？-YNYNYNYN規(guī)則條數(shù)統(tǒng)計(jì)A1:非三角形A2:不等邊三角形A3:等腰三角形A4:等邊三角形A5:不可能規(guī)則條數(shù)統(tǒng)計(jì)3216811111111303.4 基于決策表的測(cè)試改進(jìn)的三角形問(wèn)題的測(cè)試用例用例IDabc預(yù)期輸出1412非三角形2142非

9、三角形3124非三角形4555等邊三角形5?不可能6?不可能7232等腰三角形8?不可能9322等腰三角形10223等腰三角形11345不等邊三角形313.4 基于決策表的測(cè)試基于決策表的測(cè)試注意方面：1、輸入條件不存在相關(guān)性，不需要使用決策表測(cè)試方法。2、不處理無(wú)效等價(jià)類(lèi)。3、針對(duì)輸入域，需要對(duì)輸出域進(jìn)行細(xì)化，保證測(cè)試用例更加準(zhǔn)確。323.4 基于決策表的測(cè)試小結(jié)目標(biāo)是在特定條件下消除等價(jià)類(lèi)測(cè)試的冗余基本思想是基于強(qiáng)組合等價(jià)類(lèi)測(cè)試得到有效域上完整的測(cè)試用例集合，并通過(guò)合并化簡(jiǎn)消除用例間的冗余以強(qiáng)組合等價(jià)類(lèi)測(cè)試為基礎(chǔ)，遵循獨(dú)立性假設(shè)33黑盒測(cè)試方法邊界值測(cè)試等價(jià)類(lèi)測(cè)試基于決策表的測(cè)試大量錯(cuò)誤發(fā)

10、生在輸入或輸出范圍的邊界上基本思想：選擇輸入或輸出變量的極值、略低于或略高于極值設(shè)計(jì)測(cè)試用例?；诮y(tǒng)一的假設(shè)：輸入變量是真正獨(dú)立的兩方面的區(qū)別：，34黑盒測(cè)試方法邊界值測(cè)試邊界值分析健壯性測(cè)試最壞情況測(cè)試健壯最壞情況測(cè)試abcdyx35黑盒測(cè)試方法邊界值測(cè)試邊界值分析健壯性測(cè)試最壞情況測(cè)試健壯最壞情況測(cè)試abcdyx36黑盒測(cè)試方法邊界值測(cè)試邊界值分析健壯性測(cè)試最壞情況測(cè)試健壯最壞情況測(cè)試abcdx2x137黑盒測(cè)試方法邊界值測(cè)試邊界值分析健壯性測(cè)試最壞情況測(cè)試健壯最壞情況測(cè)試x2abcdx138黑盒測(cè)試方法邊界值測(cè)試等價(jià)類(lèi)測(cè)試基于決策表的測(cè)試不可能進(jìn)行窮舉測(cè)試，只能從中選擇一部分作為測(cè)試用例

11、基本思想：把輸入域劃分成若干部分，從每部分中選取少數(shù)代表性數(shù)據(jù)當(dāng)作測(cè)試用例，每一類(lèi)的代表性數(shù)據(jù)在測(cè)試中的作用等價(jià)于該類(lèi)中的其它值?；诮y(tǒng)一的假設(shè)：輸入變量是真正獨(dú)立的分類(lèi)的決定因素：，39黑盒測(cè)試方法等價(jià)類(lèi)測(cè)試弱一般等價(jià)類(lèi)測(cè)試強(qiáng)一般等價(jià)類(lèi)測(cè)試弱健壯等價(jià)類(lèi)測(cè)試強(qiáng)健壯等價(jià)類(lèi)測(cè)試abcdx2x1efg基于單缺陷、正常值對(duì)于n變量，設(shè)第i個(gè)變量的有效等價(jià)類(lèi)是mi個(gè)，則測(cè)試用例總數(shù)：max(mi)個(gè)。40黑盒測(cè)試方法等價(jià)類(lèi)測(cè)試弱一般等價(jià)類(lèi)測(cè)試強(qiáng)一般等價(jià)類(lèi)測(cè)試弱健壯等價(jià)類(lèi)測(cè)試強(qiáng)健壯等價(jià)類(lèi)測(cè)試基于多缺陷、正常值abcdx2x1efg對(duì)于n變量，設(shè)第i個(gè)變量的有效等價(jià)類(lèi)是mi個(gè)，則測(cè)試用例總數(shù)： m1* m2

12、* *mn41黑盒測(cè)試方法等價(jià)類(lèi)測(cè)試弱一般等價(jià)類(lèi)測(cè)試強(qiáng)一般等價(jià)類(lèi)測(cè)試弱健壯等價(jià)類(lèi)測(cè)試強(qiáng)健壯等價(jià)類(lèi)測(cè)試對(duì)于n變量，設(shè)第i個(gè)變量的有效等價(jià)類(lèi)是mi個(gè)，無(wú)效等價(jià)類(lèi)是li個(gè)，則測(cè)試用例總數(shù)：max( mi)+ (l1+ l2 +ln)個(gè)。abcdx2x1efg基于單缺陷、健壯值42黑盒測(cè)試方法等價(jià)類(lèi)測(cè)試弱一般等價(jià)類(lèi)測(cè)試強(qiáng)一般等價(jià)類(lèi)測(cè)試弱健壯等價(jià)類(lèi)測(cè)試強(qiáng)健壯等價(jià)類(lèi)測(cè)試對(duì)于n變量，設(shè)第i個(gè)變量的有效等價(jià)類(lèi)是mi個(gè)，無(wú)效等價(jià)類(lèi)是li個(gè)，則測(cè)試用例總數(shù)：( m1+l1)* (m2 +l2) * *(mn +ln)abcdx2x1efg基于多缺陷、健壯值43黑盒測(cè)試方法邊界值測(cè)試等價(jià)類(lèi)測(cè)試基于決策表的測(cè)試等價(jià)類(lèi)

13、測(cè)試，嚴(yán)重冗余決策表保證所有可能的條件值組合都能考慮到44黑盒測(cè)試方法決策表Condition Stub：列出問(wèn)題的所有條件Action Stub：列出問(wèn)題規(guī)定可能采取的行動(dòng)的所有條件Condition Entry：針對(duì)左列條件取值，給出真假值A(chǔ)ction Entry：在條件組合下應(yīng)采取的行動(dòng)規(guī)則45黑盒測(cè)試方法邊界值測(cè)試等價(jià)類(lèi)測(cè)試決策表不識(shí)別數(shù)據(jù)或邏輯依賴(lài)關(guān)系，用機(jī)械方式生成測(cè)試用例，容易被自動(dòng)化。注意到數(shù)據(jù)的依賴(lài)關(guān)系和函數(shù)本身，需要更多考慮以及判斷和技巧，包括如何劃分等價(jià)類(lèi)等，但確定等價(jià)類(lèi)之后，仍采用機(jī)械方式生成測(cè)試用例。最精細(xì)。要考慮數(shù)據(jù)和邏輯依賴(lài)關(guān)系，往往需要多次嘗試，迭代后才能找到良

14、好的條件集合。46黑盒測(cè)試方法邊界值測(cè)試等價(jià)類(lèi)測(cè)試決策表誰(shuí)最好？測(cè)試工作量測(cè)試效率測(cè)試有效性47黑盒測(cè)試方法測(cè)試工作量測(cè)試效率測(cè)試有效性邊界值 決策表低高精細(xì)程度等價(jià)類(lèi) 測(cè)試用例數(shù)每種測(cè)試方法的測(cè)試用例趨勢(shì)線代表測(cè)試執(zhí)行工作量48黑盒測(cè)試方法測(cè)試用例標(biāo)識(shí)工作量邊界值決策表低高精細(xì)程度等價(jià)類(lèi) 每種測(cè)試方法的測(cè)試用例標(biāo)識(shí)工作量趨勢(shì)線測(cè)試工作量測(cè)試效率測(cè)試有效性代表測(cè)試標(biāo)識(shí)工作量49黑盒測(cè)試方法需要在測(cè)試標(biāo)識(shí)工作量和測(cè)試執(zhí)行工作量之間進(jìn)行折衷。測(cè)試工作量測(cè)試效率測(cè)試有效性容易使用的方法將生成大量測(cè)試用例，執(zhí)行時(shí)間長(zhǎng)，而若將工作量投入到更精細(xì)的測(cè)試方法，則執(zhí)行時(shí)間會(huì)縮短。50黑盒測(cè)試方法測(cè)試工作量測(cè)試

15、效率測(cè)試有效性基本局限：存在未測(cè)試的功能漏洞和冗余測(cè)試。例NextDate問(wèn)題 最壞情況邊界值分析：125個(gè)測(cè)試用例，存在大量冗余，且未涉及2月28日、2月29日以及閏年的測(cè)試； 強(qiáng)等價(jià)類(lèi)：36個(gè)測(cè)試用例，存在11個(gè)不可能情況，且有一半用于處理非2月的28日問(wèn)題； 決策表：13個(gè)測(cè)試用例，是完備的，且包含了大部分的強(qiáng)等價(jià)類(lèi)測(cè)試用例。結(jié)論：功能性測(cè)試有漏洞，使用更精細(xì)的手段可縮小這些漏洞。51黑盒測(cè)試方法給定一個(gè)程序P，給定一種測(cè)試方法，用這種測(cè)試方法設(shè)計(jì)測(cè)試用例，研究所設(shè)計(jì)的測(cè)試用例能夠怎樣有效地找出程序P中的缺陷測(cè)試工作量測(cè)試效率測(cè)試有效性52黑盒測(cè)試方法研究測(cè)試有效性的困難：假定我們知道程

16、序中的所有缺陷形成死循環(huán)的是，如果我們知道程序中的所有缺陷，就會(huì)采取有針對(duì)性的措施由于我們不知道程序中的所有缺陷，因此永遠(yuǎn)也不會(huì)知道給定方法所產(chǎn)生的測(cè)試用例是否能夠發(fā)現(xiàn)這些缺陷53黑盒測(cè)試方法解決方法：根據(jù)不同類(lèi)型的缺陷反向研究給出特定的一種缺陷，我們可以選擇最有可能發(fā)現(xiàn)這種缺陷的測(cè)試方法（功能性測(cè)試和結(jié)構(gòu)性測(cè)試）通過(guò)跟蹤所開(kāi)發(fā)軟件中的缺陷的種類(lèi)（和密度），還可以改進(jìn)這種方法54黑盒測(cè)試方法指導(dǎo)方針 若變量引用的是物理量(P)，可用定義域測(cè)試和等價(jià)類(lèi)測(cè)試； 若變量是獨(dú)立的，可采用定義域測(cè)試和等價(jià)類(lèi)測(cè)試； 若變量不是獨(dú)立的，可采用決策表測(cè)試； 若可保證單缺陷假設(shè)，可采用邊界值分析和健壯性測(cè)試；

17、若保證多缺陷假設(shè)，可用最壞情況、健壯最壞和決策表測(cè)試； 若程序包含大量例外處理，可采用健壯性和決策表測(cè)試； 若變量引用的是邏輯量(L)，可采用等價(jià)類(lèi)和決策表測(cè)試。55黑盒測(cè)試方法條件12345678910C1:變量(P;L)PPPPPLLLLLC2:是獨(dú)立變量?YYYYNYYYYNC3:是單缺陷假設(shè)?YYNN-YYNN-C4:有大量例外處理?YNYN-YNYN-A1:邊界值分析A2:健壯性測(cè)試A3:最壞情況測(cè)試A4:健壯最壞情況測(cè)試A5:傳統(tǒng)等價(jià)類(lèi)測(cè)試A6:弱等價(jià)類(lèi)測(cè)試A7:強(qiáng)等價(jià)類(lèi)測(cè)試A8:決策表測(cè)試56黑盒測(cè)試方法做黑盒測(cè)試的基本條件是需要弄清楚你負(fù)責(zé)的模塊的功能和與其它模塊的聯(lián)系及相互之間的關(guān)系、影響、數(shù)據(jù)流向拿到一個(gè)模塊后1、分析(需求文檔和測(cè)試分析文檔)2、大體查看3、在大體查看基礎(chǔ)上與分析做對(duì)比實(shí)際軟件與文檔的出入4、清楚為何出入(需求、開(kāi)發(fā)溝通)5、動(dòng)手測(cè)試57黑