白盒測(cè)試?yán)}

/例題2:應(yīng)用白盒測(cè)試法的具體步驟：按照某種覆蓋標(biāo)準(zhǔn),選擇一組需要覆蓋的路徑；確定上述路徑所需的輸入數(shù)據(jù)；計(jì)算與輸入數(shù)據(jù)相應(yīng)的輸出。下面以工資管理程序?yàn)槔f(shuō)明白盒測(cè)試方法的運(yùn)用過(guò)程。(白盒測(cè)試方法有６種)工資管理程序BONUＳ的輸入數(shù)據(jù)是職員表（Eｍploｙｅe(cuò)Tａbｌe)和部門銷售表（ＤeｐaｒｔmenｔTabｌe）（圖１）.職員表由姓名（Name)、職務(wù)（Job）、部門(Dept。）和工資（Salａry）四個(gè)屬性組成。部門銷售表由部門(Dｅpt）和銷售量(Ｓａｌｅs）組成.程序的功能是:“為銷售量最大的部門中每一個(gè)職工增加200元工資,但是，如果某個(gè)職員的原有工資已達(dá)１500０元，或者他的職務(wù)是經(jīng)理，則只給他增加100元.如果程序能正常地完成,則輸出出錯(cuò)碼0;如果兩表格中沒(méi)有任何條目，則輸出出錯(cuò)碼1；如果沒(méi)有職員在部門銷售表中銷售量最大的部門中工作,則輸出出錯(cuò)碼2;”工資管理程序BONＵS的兩個(gè)表如下：NamｅJobDeｐtSaｌaｒyDｅptSalｅs工資管理程序BOＮUS的源程序:參數(shù)表中EＭPTAB、DEＰTTAB分別是職員表和部門表，ＥSIZＥ、DSＩZE分別是兩個(gè)表的長(zhǎng)度，ERRCＯDE是出錯(cuò)碼。這里略去了說(shuō)明部分和注釋.PｒoceｄureBonｕs（EＭPTAB，DEPＴTAB：TＡBLE；EＳＩZE,ＤSIＺE,ERＲCＯDE：IＮTEGＥR)；/＊最大銷量和出錯(cuò)碼初始化*/1．BeginＭＡXSＡLES:＝０；ERRCＯDE:=0;/*判斷表是否為空，空輸出1,并退出程序,否則繼續(xù)執(zhí)行＊／2．IＦ（ＥSIZＥ〈＝0）or(ＤSIZE<＝0）3． TＨＥNＥＲＲCＯDE:=1；4．ＥLSE/＊獲得最大銷量＊/5。 Fori＝１toDSＩZE6． ＩｆSales（i）>MAXSAＬES7． ?tｈenMAXＳALＥS＝Sales(i）；/*找到銷量最大的每一個(gè)部門，并做進(jìn)一步處理＊/８．?Forj=１toＤSIＺＥ9． ?IfSalｅs(j）=MAＸＳALEＳ１０. ?Theｎ1１.???BeｇinＦoｕnd：=Ｆaｌｓｅ;/＊找銷量最大的職員所屬部門對(duì)應(yīng)的職員表中的職員并處理＊/12。???Forｋ:=1tｏESIZＥ13． ?If(EMPTAＢ．DEPＴ（k）＝ＤEPTＴAB.ＤEPＴ（Ｊ）)１4.? Tｈen１5．? ? BegｉnFｏund：=True；/＊如果該職員工資超過(guò)15000或職務(wù)是經(jīng)理則加100工資,否則加200工資＊/１６。? ? If（SＡLARY(k)＞=1５0０0．0）or(ＪOB(k）=”M”）１7.? ?? Tｈen18.??????ＳＡLARY（ｋ):=SALARY（k）+100。０;１9. ? Elsｅ20。? ? SALARＹ（k）:＝SALARY(ｋ)＋200.0；21.? ? ?End；／*如果找不到對(duì)應(yīng)職員，則輸出出錯(cuò)碼2，否則出錯(cuò)碼默認(rèn)0*/22．???If（！Ｆｏｕnd)thenEＲRＯRCＯＤE:=２;23．? Eｎd24。 Enｄ25．?End用白盒測(cè)試方法設(shè)計(jì)測(cè)試用例。１.首先列出程序中的判定，考慮所有的條件句和循環(huán)句。本例中只要輸入表格不空,循環(huán)語(yǔ)句總會(huì)經(jīng)歷進(jìn)入循環(huán)和跳過(guò)循環(huán)這兩種情況（因?yàn)檠h(huán)終值都大于等于循環(huán)初值),所以就不必專門考慮了。需要考慮的只是下面６個(gè)條件語(yǔ)句中的判定。If(ＥSIＺＥ＜＝０)or（DSIZＥ<=0）IfSaｌes（i）〉MＡＸSALEＳIfSales（j)=MAXSＡＬＥSIｆ(EMPＴAB。DＥPT（ｋ)＝DＥＰTＴAB.DEPT(J）)Ｉf(SALARY(k）>=1500０．0）or(JOB（k）=”經(jīng)理”)2２.If(！Fｏｕnd）tｈeｎERROＲCOＤE：=2；2.設(shè)計(jì)測(cè)試用例。（1)采用“判定覆蓋"標(biāo)準(zhǔn),使得上述6個(gè)判定都取到兩種結(jié)果，這就需要使下表列出的12種情況都執(zhí)行到.判定結(jié)果為“真”結(jié)果為“假”2ESIＺE或DSIZE等于0EＳIＺE和DSIＺＥ都大于０6總會(huì)出現(xiàn)部門表中，將銷售量較小的某個(gè)部門放在后面9總會(huì)出現(xiàn)部門表中，各部門的銷售量不全相等13職員表中，有職員在銷售量最大的部門工作職員表中，有職員不在銷售量最大的部門工作16銷售量最大的部門中,有個(gè)職員的工資大于等于150０0，或者是“經(jīng)理"銷售量最大的部門中，有個(gè)職員的工資小于15000，而且不是“經(jīng)理"22銷售量最大的部門中沒(méi)有職員銷售量最大的部門中有職員下面的測(cè)試用例可以滿足這一要求,按照原則,每個(gè)測(cè)試用例要說(shuō)明輸入數(shù)據(jù)和期望的輸出結(jié)果(圖中“職務(wù)”一欄，“E”表示是一般職員,“M"表示經(jīng)理.)。例子輸入數(shù)據(jù)期望的輸出結(jié)果1ESIZE=０ERＲCOＤE=1ＥMPTAＢ，DＥPTTAB，ESIZE，DSＩZE不變2ESIZE=ＤSＩＺＥ=3EMＰTＡBDEPTＡBNamｅJobDeptSalarｙDeｐtＳaｌesJonesEＤ４2１6０00.0D４２１0000.０ＳmitｈEＤ3210000.０D3２８０00．0ＬoriｎED42１400０．０D951０000．0ＥRRORCODＥ=２ＤEPＴTAB,ESＩZＥ,ＤＳＩＺE不變ＥMPTAB變?yōu)椋蝍meJobＤeptSａｌaｒyJｏnｅsEＤ4216１０0．０ＳmitｈED３210000。０LｏｒｉnED4２１42００.0雖然這兩個(gè)例子滿足“判定覆蓋”標(biāo)準(zhǔn)，但是它們不能發(fā)現(xiàn)程序中許多其他可能的錯(cuò)誤,例如沒(méi)有檢查ERRORCＯDE為0、職員是經(jīng)理、部門表為“空”等情況。(２)．采用“條件覆蓋”標(biāo)準(zhǔn),即使判定中的每一個(gè)條件的兩種可能取值都執(zhí)行到，這就要使下表的１6中情況出現(xiàn).判定條件真假2ＥSＩＺE〈=0ESIZE＜=0ESIZE>02DSIZE<＝0DSＩＺE〈=0DSIZE>0６Sａlｅｓ(i)＞MAXSALES總會(huì)出現(xiàn)部門表中，將銷售量較小的某個(gè)部門放在后面9Sales（j）=ＭAXSALEＳ總會(huì)出現(xiàn)部門表中,各部門的銷售量不全相等13EＭPTAB.DＥＰＴ(ｋ）＝DＥＰTTAB.ＤＥPＴ(J)職員表中，有職員在銷售量最大的部門工作職員表中，有職員不在銷售量最大的部門工作１6SALAＲY（ｋ）〉=150０0。0銷售量最大的部門中，有個(gè)職員的工資大于等于15000銷售量最大的部門中,有個(gè)職員的工資小于１５00016ＪＯＢ（k）＝”經(jīng)理”銷售量最大的部門中，有個(gè)職員是“經(jīng)理”銷售量最大的部門中,有個(gè)職員不是“經(jīng)理”２2!Founｄ銷售量最大的部門中沒(méi)有職員銷售量最大的部門中有職員下面的測(cè)試用例可以滿足這一要求。例子輸入數(shù)據(jù)期望的輸出結(jié)果1ESIZE＝DSIZE＝0EＲRCＯDE=1EMPTAB,DＥPTＴAB，ＥSIZE，DSＩZＥ不變2ＥSＩＺＥ=DＳIZＥ=3EＭPTABＤEPTAＢNaｍeＪoｂＤeptＳaｌaｒyDｅpｔSaleｓJonｅsＥＤ42160０0.0D42100０0．0SmithEＤ３21０0０0．０D32８00０.0ＬorｉｎMD4２１４0０0.0D95100００.0ＥRＲOＲCODＥ=２ＤEＰTTＡB，ESＩZE,DSＩZE不變EMPTAＢ變?yōu)椋蝍meJｏbＤeptＳalarｙＪonesED４２161００．０SmiｔｈEＤ3２10000。0LorinMD4２１４10０.０雖然這兩個(gè)例子滿足“條件覆蓋”標(biāo)準(zhǔn)，但是它們可能比滿足“判定覆蓋”標(biāo)準(zhǔn)的測(cè)試用例還差，因?yàn)樗鼈儾荒軋?zhí)行每一個(gè)語(yǔ)句（如語(yǔ)句１9）,而且左右也不比“判定覆蓋”的多許多,也沒(méi)有檢查ＥRRＯＲCODE為０，而且如果語(yǔ)句2誤寫成(ＥＳIＺE<=０）ａｎd(DSIZE<=0）這個(gè)錯(cuò)誤也不能發(fā)現(xiàn)。(３）采用“判定／條件覆蓋”標(biāo)準(zhǔn)，就可克服上面例子的弱點(diǎn)，我們需要提供足夠的測(cè)試使得所有判定和條件都取到兩個(gè)不同的值，這里只需要使上面的職員Ｊｏnes為經(jīng)理,而Lｏｒｉｎ改成不是經(jīng)理，則判定1６就可以取到兩種結(jié)果，語(yǔ)句19因而得到執(zhí)行. 問(wèn)題:如果所用的編譯系統(tǒng)將含有“or”的表達(dá)式處理成：遇到第一項(xiàng)為“真”就不再檢查后面的項(xiàng)目，則這樣的兩個(gè)測(cè)試用例并不能檢查到ＪOB（k)=“M”這一部分。(4)考慮“條件組合覆蓋”標(biāo)準(zhǔn),它需要足夠的例子，使得每個(gè)判定中條件的各種組合情況都出現(xiàn)一次。本例中判定6、9、13和22各有兩種組合，判定2和16各有4種組合?？梢韵冗x出一個(gè)測(cè)試用例使其包含盡可能多的組合情況。再選另一個(gè)測(cè)試用例使其包含盡可能多的剩余組合情況…，直到得到一組測(cè)試用例能包含所有的組合情況。下面給出滿足這一標(biāo)準(zhǔn)的測(cè)試用例，而且可以看到它比其他測(cè)試方法都全面，這也說(shuō)明了我們一開(kāi)始就應(yīng)該采用這個(gè)覆蓋標(biāo)準(zhǔn).極其重要的一點(diǎn)是:即使是滿足“條件組合覆蓋”標(biāo)準(zhǔn)的例子仍不能發(fā)現(xiàn)所有錯(cuò)誤，例如沒(méi)有檢查ERROＲCODE=0的情況，所以語(yǔ)句1被遺漏了就查不出來(lái)，又如語(yǔ)句1６中１5０００．0誤寫成15000．01也是發(fā)現(xiàn)不了的，或者SAＬARY（k）>=１50０0.0誤寫成ＳALＡRY（k）>1５000.0也是發(fā)現(xiàn)不了的;又如果BONUＳ程序沒(méi)有對(duì)部門表或職員表的最后一行進(jìn)行處理,這個(gè)錯(cuò)誤也不一定能夠發(fā)現(xiàn)。例子輸入數(shù)據(jù)期望的輸出結(jié)果1EＳIZE=0DSIZE=0ERRＣＯＤE=1EMPTAB，DEPTTAB,EＳＩZE,ＤSIZＥ不變2ESIZＥ=０DSIZE＞0同上３ESIZE〉0DＳIZE＝0同上4ＥSIＺE=5DSIZE=4EＭPＴＡBDEPTAＢNａｍｅJｏbDepｔSalaryＤｅpｔＳａｌｅsJoｎesＭD4216000.0D４210000。0WarnｓMD951２000。0Ｄ3280００.0LorｉｎＥD4210000.0Ｄ９５10０00．0TｏyEＤ951８000.0D４４１０00０。0SmithＥD3214０0０．０ERRORCODE=2DEPTＴAＢ，ESIZE，DSIZＥ不變EMPTAB變?yōu)椋蝍mｅＪobDeｐtＳａlarｙＪonｅsMＤ4216100．０WarnsMD9５１２100．0ＬorｉｎED４２10２00。0ToyＥD９51８１０0．０SmithED321４0０0.0通過(guò)對(duì)工資管理程序的討論,可以得到兩點(diǎn)結(jié)論：“條件組合覆蓋”標(biāo)準(zhǔn)比其他標(biāo)準(zhǔn)優(yōu)越。即使達(dá)到任何一種覆蓋標(biāo)準(zhǔn)，其測(cè)試效果仍然是不徹底的，我們還需要用其他的測(cè)試方法（如黑盒法）作補(bǔ)充。劃分等價(jià)類加數(shù)數(shù)值加數(shù)數(shù)值非數(shù)值整數(shù)實(shí)數(shù)正數(shù)（1）0（2）負(fù)數(shù)（3）正實(shí)數(shù)（4）負(fù)實(shí)數(shù)（5）字母（6）特殊字符（7）空格（8）空白（9）小數(shù)點(diǎn)（10）其中，有效的等價(jià)類包括：1，２，3，4,5,1０。無(wú)效的等價(jià)類包括：6，7，8，9。設(shè)計(jì)測(cè)試用例，一個(gè)測(cè)試用例盡可能包括多個(gè)有效的測(cè)試用例。一個(gè)測(cè)試用例只能包括唯一一個(gè)無(wú)效的測(cè)試用例。然后再考慮包括鍵盤和鼠標(biāo)兩種輸入。所有用例用鍵盤輸入一遍,然后再用鼠標(biāo)輸入一遍。根據(jù)這些設(shè)計(jì)測(cè)試用例如下：用例編號(hào)覆蓋等價(jià)類操作步驟輸入數(shù)據(jù)預(yù)期的輸出1１、２通過(guò)鼠標(biāo)輸入數(shù)據(jù)，點(diǎn)擊“＝”“1”、“＋”、“0”１23、４通過(guò)鼠標(biāo)輸入數(shù)據(jù)，點(diǎn)擊“=”“－1"、“+”、“0．1”—0.935、１0通過(guò)鼠標(biāo)輸入數(shù)據(jù),點(diǎn)擊“=”“—0．1"、“+”、“．”-0.1