白盒測(cè)試,也稱為結(jié)構(gòu)化測(cè)試、基于代碼的測(cè)試,是一種測(cè)試用例設(shè)計(jì)方法,它從程序的控制結(jié)構(gòu)導(dǎo)出測(cè)試用例.用白盒測(cè)試產(chǎn)生的測(cè)試用例能夠...
白盒測(cè)試,也稱為結(jié)構(gòu)化測(cè)試、基于代碼的測(cè)試,是一種測(cè)試用例設(shè)計(jì)方法,它從程序的控制結(jié)構(gòu)導(dǎo)出測(cè)試用例.用白盒測(cè)試產(chǎn)生的測(cè)試用例能夠：
1）保證一個(gè)模塊中的所有獨(dú)立路徑至少被使用一次；
2）對(duì)所有邏輯值均需測(cè)試true和false；
3）在上下邊界及可操作范圍內(nèi)運(yùn)行所有循環(huán)；
4）檢查內(nèi)部數(shù)據(jù)結(jié)構(gòu)以確保其有效性.
“我們應(yīng)該更注重于保證程序需求的實(shí)現(xiàn),為什么要花費(fèi)時(shí)間和精力來(lái)?yè)?dān)心（和測(cè)試）邏輯細(xì)節(jié)?”答案在于軟件自身的缺陷：
·邏輯錯(cuò)誤和不正確假設(shè)與一條程序路徑被運(yùn)行的可能性成反比.當(dāng)我們?cè)O(shè)計(jì)和實(shí)現(xiàn)主流之外的功能、條件或控制時(shí),錯(cuò)誤往往開始出現(xiàn)在我們工作中.日常處理往往被很好地了解,而“特殊情況”的處理則難于發(fā)現(xiàn).
·我們經(jīng)常相信某邏輯路徑不可能被執(zhí)行,而事實(shí)上,它可能在正常的基礎(chǔ)上被執(zhí)行.程序的邏輯流有時(shí)是違反直覺(jué)的,這意味著我們關(guān)于控制流和數(shù)據(jù)流的一些無(wú)意識(shí)的假設(shè)可能導(dǎo)致設(shè)計(jì)錯(cuò)誤,只有路徑測(cè)試才能發(fā)現(xiàn)這些錯(cuò)誤.
·筆誤是隨機(jī)的.當(dāng)一個(gè)程序被翻譯為程序設(shè)計(jì)語(yǔ)言源代碼時(shí),有可能產(chǎn)生某些筆誤,很多將被語(yǔ)法檢查機(jī)制發(fā)現(xiàn),但是,其他的會(huì)在測(cè)試開始時(shí)才會(huì)被發(fā)現(xiàn).筆誤出現(xiàn)在主流上和不明顯的邏輯路徑上的機(jī)率是一樣的.
正如Beizer所說(shuō)的：“錯(cuò)誤潛伏在角落里,聚集在邊界上”,而白盒測(cè)試更可能發(fā)現(xiàn)它.