基于錯誤解釋的故障定位方法研究.pdf

1、計算機系統(tǒng)的飛速發(fā)展給軟件提出了更高的要求，如何提高軟件質量這一課題的研究越來越得到人們的重視，而軟件的可靠性、正確性、安全性等性質是保證軟件具有高質量的關鍵因素。當軟件發(fā)生故障后，怎樣定位軟件故障是當今軟件故障領域的熱點。 對故障進行定位是程序診斷的核心問題。當軟件失效后，一個模型檢查器將自動產生一個反例，這個反例表現(xiàn)出不正常的行為。但是，用戶必須確定這個反例是否真的表現(xiàn)出了錯誤的行為，還是這個反例它僅僅是由于不正確說明文檔而

2、引起的。當已知存在故障，隔離和修改系統(tǒng)的故障部分將是一件十分困難的工作。 本論文是在研究了已有的相似度量方法和錯誤解釋技術方法之后，定義了一種相似度量標準，該標準是基于數(shù)據(jù)流差異的，提出了一種基于錯誤解釋的故障定位方法，該方法是基于Groce方法之上的。 最后，用一個簡單的程序進行故障定位試驗，通過對試驗結果的分析和比較，表明了特別在定位與數(shù)據(jù)流有關的程序故障方面，本文所提的故障定位方法能夠有效地進行故障定位。

3、本文主要作了以下幾部分的研究工作： （1）研究了基于數(shù)據(jù)流的相似度量標準 定義了一種基于數(shù)據(jù)流差異的相似度量標準.該相似度量標準是用程序間的路徑距離來衡量的，本文給出了路徑距離的具體算法，并將該算法運用到了基于錯誤解釋的故障定位方法中。 （2）基于錯誤解釋的故障定位方法研究 在故障定位的前期使用靜態(tài)切片，提出了基于錯誤解釋的故障定位方法。Groce提出的故障定位方法是在比較反例與最相似成功路徑的差異階段使

4、用動態(tài)切片（差異切片），在前期處理的代碼量比較多，且需要動態(tài)追蹤程序的執(zhí)行歷史，其執(zhí)行代價較高。本文針對以上問題，在前期使用靜態(tài)切片（K.J.Ottenstein和L.M.Ottenstein的過程內切片），減少了后期處理的代碼量，使得解釋方法更有針對性。在此基礎上，提出了基于錯誤解釋的故障定位方法，該方法能夠有效地解決與程序數(shù)據(jù)流有關的故障。 （3）實驗結果分析 采用本文提出的故障定位方法，以一個具體的C語言程序為例，