基于概率推斷的動(dòng)態(tài)切片裁剪方法.pdf

1、動(dòng)態(tài)程序切片能夠在程序運(yùn)行出現(xiàn)異常的情形下有效地捕獲到導(dǎo)致該異常出現(xiàn)的錯(cuò)誤代碼以及傳播錯(cuò)誤數(shù)據(jù)的程序運(yùn)行路徑。動(dòng)態(tài)切片技術(shù)由于其能夠把檢查程序錯(cuò)誤的范圍縮小,成為程序調(diào)試的重要工具之一。但是,普通的程序動(dòng)態(tài)切片技術(shù)并沒(méi)有對(duì)于切片結(jié)果提供額外的參數(shù)輔助程序員進(jìn)一步縮減排查空間,使得在大型程序的切片結(jié)果中仍然會(huì)出現(xiàn)大小超出理想范圍的切片,造成程序調(diào)試依舊面臨著巨大的人力消耗,直接導(dǎo)致程序維護(hù)的高昂代價(jià)。自動(dòng)化錯(cuò)誤檢測(cè)技術(shù)能夠通過(guò)添加輔助信息

2、的方式使得程序切片能夠以更加突出的方式顯現(xiàn)出程序錯(cuò)誤的可能位置,從而讓動(dòng)態(tài)切片技術(shù)成為更高效的協(xié)同調(diào)試工具。數(shù)據(jù)挖掘領(lǐng)域的一部分研究將其技術(shù)運(yùn)用到程序自動(dòng)錯(cuò)誤分析中,但是迄今的主要研究對(duì)象仍然停留在程序謂詞和返回值上,并不能夠滿(mǎn)足現(xiàn)實(shí)程序多種多樣的錯(cuò)誤類(lèi)型。
　　為了提高程序調(diào)試的效率,本文提出了一種基于概率推演自動(dòng)計(jì)算動(dòng)態(tài)程序切片中每條語(yǔ)句的正確概率并賦予優(yōu)先度、進(jìn)而裁剪的方法。首先從程序運(yùn)行過(guò)程抽取其相應(yīng)的動(dòng)態(tài)依賴(lài)關(guān)系圖;然后