基于Java平臺(tái)的單元測(cè)試技術(shù)研究.pdf

1、目前，隨著Java技術(shù)日益普及并受到廣泛重視，如何提高Java應(yīng)用程序的可信性是一個(gè)不容忽略的重要問題。Java應(yīng)用程序的單元測(cè)試是保證軟件質(zhì)量、提高軟件可靠性的關(guān)鍵。人工完成單元測(cè)試既費(fèi)時(shí)又繁瑣，自動(dòng)化的單元測(cè)試已經(jīng)成為節(jié)省軟件開發(fā)成本、提高軟件可信性的重要手段。因此，本文針對(duì)Java應(yīng)用程序單元測(cè)試中的自動(dòng)生成測(cè)試數(shù)據(jù)和提高單元測(cè)試自動(dòng)化程度這兩個(gè)問題展開研究。 本文首先分析子類型行為和類行為兼容性的關(guān)系，利用一個(gè)由子類型行

2、為描述變換到類行為兼容性實(shí)現(xiàn)的映射，可以獲得正確的類不變式、方法前置條件和后置條件。準(zhǔn)確的類不變式和方法后置條件可以作為測(cè)試神諭，而類不變式和方法前置條件可以作為劃分等價(jià)類和分析邊界值的輸入。接著，針對(duì)需要人工計(jì)算期望值的單元測(cè)試給出兩個(gè)生成測(cè)試數(shù)據(jù)方法：考察生產(chǎn)和實(shí)驗(yàn)中經(jīng)常使用的統(tǒng)計(jì)方法：正交實(shí)驗(yàn)設(shè)計(jì)法和均勻設(shè)計(jì)法生成測(cè)試數(shù)據(jù)，與枚舉法和對(duì)均勻設(shè)計(jì)法進(jìn)行了改進(jìn)的均勻設(shè)計(jì)補(bǔ)充法生成的測(cè)試數(shù)據(jù)相比，發(fā)現(xiàn)均勻設(shè)計(jì)補(bǔ)充法生成的測(cè)試數(shù)據(jù)在測(cè)試成

3、本和測(cè)試效果間具有較好的性價(jià)比；提出基于改進(jìn)的遺傳算法自動(dòng)生成Java類的測(cè)試數(shù)據(jù)的方法，該方法采用對(duì)整數(shù)、字符和字節(jié)使用二進(jìn)制編碼和浮點(diǎn)型數(shù)據(jù)使用浮點(diǎn)數(shù)編碼的混合編碼方式，對(duì)字節(jié)碼形式表示的Java類添加裝置，隨機(jī)生成一組測(cè)試數(shù)據(jù)作為初始種群，通過測(cè)試覆蓋分析器監(jiān)控被測(cè)試程序的執(zhí)行過程，以獲取的覆蓋率作為適應(yīng)度值，執(zhí)行遺傳操作，實(shí)驗(yàn)結(jié)果表明：改進(jìn)后的遺傳算法能有效地自動(dòng)生成Java類的測(cè)試數(shù)據(jù)。然后對(duì)Java程序的抽象類、包含內(nèi)隱類的

4、接口、其它內(nèi)隱類和普通類的測(cè)試提出不同的測(cè)試案例模式，結(jié)合Liskov替代原則對(duì)類測(cè)試的要求，實(shí)現(xiàn)一個(gè)基于Junit自動(dòng)生成測(cè)試案例模板的工具。 最后，本文基于Junit測(cè)試框架和上述研究結(jié)果，實(shí)現(xiàn)一個(gè)Java平臺(tái)單元測(cè)試的工具原型。以此工具為平臺(tái)，程序員可以自動(dòng)生成測(cè)試數(shù)據(jù)和測(cè)試用例模板，在編寫測(cè)試案例時(shí)，只需在自動(dòng)生成的測(cè)試案例模板中添加期望值就可獲得完整的測(cè)試案例，可以提高程序員的開發(fā)效率和被測(cè)試軟件單元的可信性。