發(fā)布時(shí)間：2021-03-26 16:21

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

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

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

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

【部分圖文】：

符號(hào)執(zhí)行執(zhí)行樹(shù)

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

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



本文編號(hào)：3101885