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

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

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

【學位級別】：碩士

【部分圖文】：

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

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

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



本文編號：3101885