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

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

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