隨著現(xiàn)代信息社會的高速發(fā)展,軟件已經(jīng)進(jìn)入人們生活的方方面面,為保障軟件質(zhì)量而對軟件進(jìn)行充分測試的重要性也隨之愈發(fā)凸顯。符號執(zhí)行是近年來在軟件測試領(lǐng)域被廣泛使用的技術(shù)之一。該技術(shù)使用符號化變量而不是具體值變量作為代碼的執(zhí)行輸入,在程序路徑的分析過程中不斷收集分支語句產(chǎn)生的路徑約束,然后調(diào)用底層求解器對路徑約束集合進(jìn)行求解從而生成觸發(fā)對應(yīng)代碼路徑的測試用例。然而在處理現(xiàn)實(shí)世界中復(fù)雜的真實(shí)程序時,符號執(zhí)行仍面臨不少挑戰(zhàn)。一方面,傳統(tǒng)約束求解器的求解能力嚴(yán)重制約著符號執(zhí)行處理復(fù)雜路徑約束的能力。另一方面,當(dāng)程序中包含復(fù)雜路徑結(jié)構(gòu),如函數(shù)調(diào)用、循環(huán)語句等,符號執(zhí)行會陷入大量路徑的搜索與求解中。這些都極大地影響了符號執(zhí)行技術(shù)在復(fù)雜程序上的應(yīng)用。針對以上問題,本文在前期工作基于機(jī)器學(xué)習(xí)的符號執(zhí)行框架的基礎(chǔ)上,提出了一種基于黑盒抽象的新型符號執(zhí)行方法。該方法不僅可以處理簡單路徑約束,也可將函數(shù)調(diào)用、循環(huán)語句等復(fù)雜代碼片段編碼為黑盒路徑約束,然后通過底層機(jī)器學(xué)習(xí)指導(dǎo)的約束求解器進(jìn)行采樣、驗(yàn)證求解,提高符號執(zhí)行對復(fù)雜代碼的測試生成能力。本文的主要工作如下:●面向函數(shù)調(diào)用的黑盒抽象符號執(zhí)行:為提高符號執(zhí)行對...

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

【學(xué)位級別】：碩士

圖２－４：基于機(jī)器學(xué)習(xí)的符號執(zhí)行框架中的不滿足度計(jì)算??

圖3一3:函數(shù)調(diào)用的黑盒執(zhí)行

圖3一6:黑盒執(zhí)行

圖５－１：基于黑盒抽象的復(fù)雜代碼符號執(zhí)行框架??

本文編號：3884576