D,Click to Edit Master Text Styles,SECOND LEVEL,THIRD LEVEL,*,E.Angel and D.Shreiner:Interactive Computer Graphics 6E Addison-Wesley 2012,1,內(nèi)容,（,1,）判定表測(cè)試法,理論,互動(dòng)練習(xí),（,2,）測(cè)試,理論,互動(dòng)練習(xí),2,判定表測(cè)試法,3.,基于判定表的測(cè)試,判定表能夠?qū)?fù)雜的問(wèn)題按照各種可能的情況全部列舉出來(lái)，簡(jiǎn)明并避免遺漏。,利用判定表能夠設(shè)計(jì)出完整的測(cè)試用例集合。,判定表通常由四個(gè)部分組成：,樁,規(guī)則,條件樁,條件項(xiàng),動(dòng)作樁,動(dòng)作項(xiàng),3,判定表測(cè)試法,判定表設(shè)計(jì)步驟：,確定規(guī)則的個(gè)數(shù),列出所有的條件樁和動(dòng)作樁,填入條件項(xiàng),填入動(dòng)作項(xiàng)，得到初始判定表,簡(jiǎn)化判定表、合并相似規(guī)則（相同動(dòng)作）,4,判定表測(cè)試法,某程序規(guī)定：,“,對(duì)總成績(jī)大于,450,分，且各科成績(jī)均高于,85,分或者是優(yōu)秀畢業(yè)生，應(yīng)優(yōu)先錄取，其余情況作其他處理,”,。請(qǐng)用判定表設(shè)計(jì)測(cè)試用例。,1,2,3,4,5,6,7,8,條,件,總成績(jī)大于,450,分嗎？,Y,Y,Y,Y,N,N,N,N,各科成績(jī)均高于,85,分嗎？,Y,Y,N,N,Y,Y,N,N,優(yōu)秀畢業(yè)生嗎？,Y,N,Y,N,Y,N,Y,N,動(dòng),作,優(yōu)先錄取；,作其他處理,1.,建立判定表,5,判定表測(cè)試法,2.,簡(jiǎn)化判定表,1,2,3,4,條,件,總成績(jī)大于,450,分嗎？,Y,Y,Y,N,各科成績(jī)均高于,85,分嗎？,Y,N,N,優(yōu)秀畢業(yè)生嗎？,Y,N,動(dòng),作,優(yōu)先錄取,作其他處理,問(wèn)題描述：,“,對(duì)于功率大于,50,馬力的機(jī)器，并且維修記錄不全或已運(yùn)行,10,年以上的機(jī)器，應(yīng)給予優(yōu)先的維修處理,”,請(qǐng)建立決策表。,6,判定表測(cè)試法,volunteer?,7,判定表測(cè)試法,（,1,）列出所有的條件樁和動(dòng)作樁,條件樁,C1,：功率大于,50,馬力嗎？,C2,：維修記錄不全嗎？,C3,：運(yùn)行超過(guò),10,年嗎？,動(dòng)作樁,A1,：進(jìn)行優(yōu)先處理,A2,：作其他處理,8,判定表測(cè)試法,（,2,）確定規(guī)則個(gè)數(shù),輸入條件個(gè)數(shù)：,3,；,每個(gè)條件的取值：,“,是,”,或,“,否,”,；,規(guī)則個(gè)數(shù)：,2*2*2=8,；,功率大于,50,馬力嗎,維修記錄不全嗎,運(yùn)行超過(guò),10,年嗎,9,判定表測(cè)試法,1,2,3,4,5,6,7,8,條,件,功率大于,50,馬力嗎？,Y,Y,Y,Y,N,N,N,N,維修記錄不全嗎？,Y,Y,N,N,Y,Y,N,N,運(yùn)行超過(guò),10,年嗎？,Y,N,Y,N,Y,N,Y,N,動(dòng),作,進(jìn)行優(yōu)先處理,作其他處理,（,3,）填入條件項(xiàng)；,10,判定表測(cè)試法,1,2,3,4,5,6,7,8,條,件,功率大于,50,馬力嗎？,Y,Y,Y,Y,N,N,N,N,維修記錄不全嗎？,Y,Y,N,N,Y,Y,N,N,運(yùn)行超過(guò),10,年嗎？,Y,N,Y,N,Y,N,Y,N,動(dòng),作,進(jìn)行優(yōu)先處理,作其他處理,（,4,）填入動(dòng)作項(xiàng)；,不完全正確,11,判定表測(cè)試法,（,5,）化簡(jiǎn)；,(1),(2),(3),(4),(5),條,件,功率大于,50,馬力嗎？,Y,Y,Y,N,N,維修記錄不全嗎？,Y,N,N,運(yùn)行超過(guò),10,年嗎？,Y,N,Y,N,動(dòng),作,進(jìn)行優(yōu)先處理,作其他處理,不完全正確,問(wèn)題描述,輸入三個(gè)正整數(shù),a,、,b,、,c,，分別作為三角形的三條邊，通過(guò)程序判斷三條邊是否能構(gòu)成三角形？如果能構(gòu)成三角形，判斷三角形的類(lèi)型（等邊三角形、等腰三角形、一般三角形）。,請(qǐng)用基于判定表的方法設(shè)計(jì)測(cè)試用例。,12,判定表測(cè)試法,volunteer?,13,判定表測(cè)試法,（,1,）條件樁,C1,：,a,b,c,構(gòu)成三角形？,C2,：,a=b?,C3,：,a=c,？,C4,：,b=c,？,（,2,）規(guī)則數(shù),共有四個(gè)條件，每個(gè)條件的取值為,“,是,”,或,“,否,”,，因此有,2,4,=16,條規(guī)則。,14,判定表測(cè)試法,（,3,）動(dòng)作樁,A1,：非三角形；,A2,：不等邊三角形；,A3,：等腰三角形；,A4,：等邊三角形；,A5,：不可能；,15,（,4,）判定表,1,2,3,4,5,6,7,8,9,條,件,a,b,c,構(gòu)成三角形,N,Y,Y,Y,Y,Y,Y,Y,Y,a=b?,Y,Y,Y,Y,N,N,N,N,a=c,？,Y,Y,N,N,Y,Y,N,N,b=c,？,Y,N,Y,N,Y,N,Y,N,規(guī)則條數(shù)統(tǒng)計(jì),8,1,1,1,1,1,1,1,1,動(dòng),作,非三角形,不等邊三角形,等腰三角形,等邊三角形,不可能,16,注意：,條件的選擇可以大大擴(kuò)展判定表的規(guī)模；,例如：,a,b,c,構(gòu)成三角形嗎？可以擴(kuò)展為三個(gè)條件：,a b+c?,b a+c?,c a+b?,則規(guī)則條數(shù)變?yōu)?2,6,=64,17,條件樁修改后的判定表,18,a=b,a=c,bc,19,因果圖測(cè)試法,因果圖中包含四種關(guān)系：,恒等：若,c1,是,1,，則,e1,也是,1,；若,c1,是,0,，則,e1,為,0,。,非：若,c1,是,1,，則,e1,是,0,；若,c1,是,0,，則,e1,是,1,。,或：若,c1,或,c2,或,c3,是,1,，則,e1,是,1,；若,c1,、,c2,和,c3,都是,0,，則,e1,為,0,。,“,或,”,可有任意多個(gè)輸入。,與：若,c1,和,c2,都是,1,，則,ei,為,1,；否則,ei,為,0,。,“,與,”,也可有任意多個(gè)輸入。,20,因果圖測(cè)試法,輸入輸出約束圖形符號(hào),21,因果圖測(cè)試法,輸入輸出約束圖形符號(hào),22,因果圖測(cè)試法,某軟件規(guī)格說(shuō)明書(shū)要求：第一列字符必須是,A,或,B,，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息,L,，如果第二列字符不是數(shù)字，則給出信息,M,。下面介紹使用因果圖法設(shè)計(jì)測(cè)試用例。,23,因果圖測(cè)試法,2.,繪制因果圖,1,2,3,11,22,21,23,（,a,）因果圖,1,2,3,11,22,21,23,E,（,b,）有約束的因果圖,24,因果圖測(cè)試法,3.,根據(jù)因果圖所建立的判定表,1,2,3,4,5,6,7,8,條,件,1,1,1,1,1,0,0,0,0,2,1,1,0,0,1,1,0,0,3,1,0,1,0,1,0,1,0,11,1,1,1,1,0,0,動(dòng),作,22,/,/,0,0,0,0,1,1,21,/,/,1,0,1,0,0,0,23,/,/,0,1,0,1,0,1,25,因果圖測(cè)試法,有一個(gè)處理單價(jià)為,1,元,5,角錢(qián)的盒裝飲料的自動(dòng)售貨機(jī)軟件。若投入,1,元,5,角硬幣，按下,“,可樂(lè),”,、,“,雪碧,”,或,“,紅茶,”,按鈕，相應(yīng)的飲料就送出來(lái)。若投入的是兩元硬幣，在送出飲料的同時(shí)退還,5,角硬幣。,volunteer?,26,因果圖測(cè)試法,原因：投入,1,元,5,角硬幣；投入,2,元硬幣；按,“,可樂(lè),”,按鈕；按,“,雪碧,”,按鈕；按,“,紅茶,”,按鈕。,中間狀態(tài)：已投幣；已按鈕。,結(jié)果：退還,5,角硬幣；送出,“,可樂(lè),”,飲料；送出,“,雪碧,”,飲料；送出,“,紅茶,”,飲料。,27,因果圖測(cè)試法,28,因果圖測(cè)試法,29,分析中國(guó)象棋中走馬的實(shí)際情況,如果落點(diǎn)在棋盤(pán)外,則不移動(dòng)棋子；,如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型,則不移動(dòng)棋子；,如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子,(,絆馬腿,),則不移動(dòng)棋子；,落點(diǎn)處有己方棋子,則不移動(dòng)棋子,;,如果不屬于,1-4,條,落點(diǎn)處無(wú)棋子,則移動(dòng)棋子；,如果不屬于,1-4,條,落點(diǎn)處為對(duì)方棋子,(,非老將,),則移動(dòng)棋子并除去對(duì)方棋子；,如果不屬于,1-4,條,且落點(diǎn)處為對(duì)方老將,則移動(dòng)棋子,并提示戰(zhàn)勝對(duì)方,游戲結(jié)束。,volunteer?,30,根據(jù)分析明確原因和結(jié)果,原因：,落點(diǎn)在棋盤(pán)上；,落點(diǎn)與起點(diǎn)構(gòu)成日字；,落點(diǎn)方向的鄰近交叉點(diǎn)無(wú)棋子；,落點(diǎn)處為自己方棋子；,落點(diǎn)處無(wú)棋子；,落點(diǎn)處為對(duì)方棋子,(,非老將,),；,落點(diǎn)處為對(duì)方老將,。,結(jié)果：,E1,、不移動(dòng)棋子；,E2,、移動(dòng)棋子；,E3,、移動(dòng)棋子,并除去對(duì)方棋子；,E4,、移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，結(jié)束游戲。,31,添加中間節(jié)點(diǎn),11,目的是作為導(dǎo)出結(jié)果的進(jìn)一步原因,簡(jiǎn)化因果圖導(dǎo)出的判定表,1,3,4,5,E1,7,6,2,E2,E3,E4,11,V,V,V,V,V,E,32,決策表分解,規(guī)則,選項(xiàng),1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,1,2,3,4,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,0,1,0,1,1,1,0,1,0,1,0,0,1,1,0,0,0,0,1,1,1,0,1,1,0,0,1,0,1,0,1,0,0,0,0,1,1,0,0,1,0,0,0,0,1,0,0,0,0,11,E1,0,1,1,0,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,33,規(guī)則,選項(xiàng),1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,11,5,6,7,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,0,1,0,1,1,1,0,1,0,1,0,0,1,1,0,0,0,0,1,1,1,0,1,1,0,0,1,0,1,0,1,0,0,0,0,1,1,0,0,1,0,0,0,0,1,0,0,0,0,E2,E3,E4,1,0,0,0,1,0,0,0,1,34,規(guī)則,選項(xiàng),1,2,3,4,5,6,7,8,1,2,3,1,1,1,1,1,0,1,0,1,1,0,0,0,1,1,0,1,0,0,0,1,0,0,0,11,E1,1,0,0,1,0,1,0,1,0,1,0,1,0,1,0,1,決策表分解,35,規(guī)則,選項(xiàng),1,2,3,4,5,6,7,8,11,4,5,6,7,0,1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,1,1,0,0,0,1,0,1,0,0,1,0,0,1,0,1,0,0,0,1,E1,E2,E3,E4,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,36,END,37,