【摘要】： 計(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è)反例它僅僅是由于不正確說明文檔而引起的。當(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)行故障定位。 本文主要作了以下幾部分的研究工作: (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提出的故障定位方法是在比較反例與最相似成功路徑的差異階段使用動(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)槔?在本文提出的距離度量算法的基礎(chǔ)上,進(jìn)行了故障定位試驗(yàn),并進(jìn)行了實(shí)驗(yàn)分析,實(shí)驗(yàn)證明該方法在定位與數(shù)據(jù)流相關(guān)的程序故障時(shí)精度較高。
【學(xué)位授予單位】：華中師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2009
【分類號】：TP307

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張俊嶺;尹東升;徐旺杰;;配電網(wǎng)故障定位方法及其發(fā)展趨勢[J];山西電力;2014年01期

2 龔慶武,王志梅,陳允平,石帥軍;互感線路的故障定位方法的研究[J];華北電力技術(shù);1999年10期

3 王雙杰;楊炳元;李曉芹;田，

本文編號：2672365