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

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

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

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

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