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

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

圖5不同方法的響應(yīng)時(shí)間對(duì)比

本文編號(hào)：3883709