發(fā)布時間：2024-01-24 11:07

　　軟件測試是保障軟件質(zhì)量的常用方法,如何獲得高覆蓋率是測試中十分重要且具有挑戰(zhàn)性的研究問題.模糊測試與符號執(zhí)行作為兩大主流測試技術已被廣泛研究并應用到學術界與工業(yè)界中,這兩種技術都具有一定的優(yōu)缺點:模糊測試隨機變異生成測試用例并動態(tài)執(zhí)行程序,可以執(zhí)行并覆蓋到較深的分支,但其很難通過變異的方法生成覆蓋到復雜條件分支的測試用例.而符號執(zhí)行依賴約束求解器,可以生成覆蓋復雜條件分支的測試用例,但在符號化執(zhí)行過程中往往會出現(xiàn)狀態(tài)爆炸問題,因此很難覆蓋到較深的分支.有工作已經(jīng)證明,將符號執(zhí)行與模糊測試相結合可以獲得比單獨使用模糊測試或者符號執(zhí)行更好的效果.分析符號執(zhí)行與模糊測試的優(yōu)缺點,提出了一種基于分支覆蓋將兩種方法結合的混合測試方法——Afleer,結合雙方優(yōu)點從而可以生成具有更高分支覆蓋率的測試用例.具體來說,模糊測試(例如AFL)為程序快速生成大量可以覆蓋較深分支的測試用例,符號執(zhí)行(例如KLEE)基于模糊測試的覆蓋信息進行搜索,僅為未覆蓋到的分支生成測試用例.為了驗證Afleer的有效性,選取標準程序集LAVA-M以及實際項目o SIP作為評測對象,以漏洞檢測能力以及覆蓋能力作為評測指標....

【文章頁數(shù)】：19 頁

圖5不同方法的響應時間對比

本文編號：3883709