自動化單元測試中的路徑空間縮減的研究.pdf

1、自動化單元測試采用符號執(zhí)行與約束求解的技術(shù)，通過動態(tài)執(zhí)行程序，收集執(zhí)行路徑上的分支選擇上的約束信息，通過約束求解生成覆蓋該路徑的測試用例，繼而執(zhí)行新的測試用例搜集新的路徑約束。這個過程自動迭代執(zhí)行，覆蓋更多的程序分支，直至完成對待被測程序完成指定覆蓋要準(zhǔn)則，最終實(shí)現(xiàn)程序的測試工作。近幾年這個方向上的工作得到很多的關(guān)注，涌現(xiàn)了大量的比較成熟的產(chǎn)品，如自動化測試工具DART，CUTE，PEX等等。
　　 對于單元測試，一個很難克服的

2、問題就是程序路徑空間爆炸。一個程序的程序空間在某些情況下，如出現(xiàn)循環(huán)遞歸等結(jié)構(gòu)時，更是無數(shù)條。尤其是在覆蓋率要求比較嚴(yán)格的情況下，如分支覆蓋，全路徑覆蓋，路徑空間便很難被有效地探索完整。任何一個現(xiàn)有的的解決方法，都不能有效解決程序路徑空間爆炸的問題。本文中我們在不影響被測單元分支覆蓋準(zhǔn)則要求前提下，提出幾條關(guān)于空間縮減的方法，減少不必要的函數(shù)空間探索，通過尋找等價路徑來減少路徑空間探索。我們的實(shí)驗(yàn)表明，采用我們的方法會在既能保證測試結(jié)果