符號執(zhí)行是近年來一種比較熱門的程序分析和測試方法,能夠自動探索程序的路徑空間,分析進(jìn)入各路徑的約束條件并生成測試用例,具有自動化程度高、路徑覆蓋率高等優(yōu)點,在程序分析、自動化測試等領(lǐng)域都有廣泛的應(yīng)用。路徑爆炸問題是目前符號執(zhí)行技術(shù)面臨的最大的挑戰(zhàn)和瓶頸。當(dāng)程序中的可達(dá)路徑數(shù)量十分龐大時,現(xiàn)有的計算機(jī)計算能力很難在規(guī)定的時間和空間內(nèi)分析和處理完程序中所有的路徑。循環(huán)和遞歸是引起路徑爆炸問題的兩個主要原因。在符號執(zhí)行過程中,循環(huán)中的每一次迭代在經(jīng)過循環(huán)條件時,會生成一條繼續(xù)循環(huán)的路徑和一條離開循環(huán)的路徑,導(dǎo)致路徑數(shù)量成倍增加;遞歸結(jié)構(gòu)中至少包含一個深入遞歸的分支和一個從遞歸返回的分支,每一次遞歸調(diào)用都會生成至少兩條路徑,一條路徑深入遞歸,另一條路徑從遞歸中返回,也會導(dǎo)致路徑數(shù)量成倍增加。在符號執(zhí)行中,循環(huán)的迭代次數(shù)和遞歸的調(diào)用次數(shù)通常不是固定值,且取值范圍非常廣、可能的取值非常多,這就導(dǎo)致了在符號執(zhí)行中,循環(huán)和遞歸結(jié)構(gòu)會引起路徑數(shù)量迅速膨脹。本文通過結(jié)合制導(dǎo)技術(shù)和狀態(tài)合并技術(shù),緩解符號執(zhí)行中循環(huán)和遞歸引起的路徑爆炸問題。一方面,使用制導(dǎo)技術(shù)分析程序中循環(huán)和遞歸的結(jié)構(gòu)生成制導(dǎo)信息,引導(dǎo)符號執(zhí)... 

【文章來源】：南京大學(xué)江蘇省 211工程院校 985工程院校 教育部直屬院校

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

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

【部分圖文】：

符號執(zhí)行執(zhí)行樹

化的方式將循環(huán)內(nèi)的執(zhí)行情況直觀地表現(xiàn)出來。圖中的信息包括循環(huán)條件、循環(huán)??次數(shù)、重要分支、退出循環(huán)條件。??圖５．８為某次符號執(zhí)行過程中的兩條執(zhí)行路徑�？梢詧D上很清楚地看到該循??環(huán)的循環(huán)條件為丨＜?ｎ，循環(huán)中有四個離開循環(huán)的分支，每個離開循環(huán)的分支對??５５??

【參考文獻(xiàn)】：
期刊論文
[1]一種面向程序動態(tài)分析的循環(huán)摘要生成方法[J]. 聶楚江,劉海峰,蘇璞睿,馮登國.  電子學(xué)報. 2014(06)
[2]程序靜態(tài)分析技術(shù)與工具[J]. 楊宇,張健.  計算機(jī)科學(xué). 2004(02)



本文編號：3101885