軟件調(diào)試中多錯誤定位的算法研究.pdf

1、軟件的測試、調(diào)試和驗證占據(jù)了軟件開發(fā)過程中的絕大部分的開銷。這很大程度上是由于這個過程需要很多的人員參與,尤其是診斷出導致執(zhí)行測試用例失效的錯誤。定位軟件中的錯誤直接影響了軟件的有效性,修正軟件中的錯誤直接影響了軟件的可靠性。所以能夠自動診斷錯誤的技術(shù)勢必可以幫助開發(fā)者提高軟件的有效性,大大節(jié)約開發(fā)成本。近些年來,很多專家學者都在從事研究錯誤定位技術(shù),并且提出了多種方法,廣泛地應用在軟件工程自動化領(lǐng)域?；诔绦蜃V的軟件錯誤定位技術(shù)SFL

2、(Spectrum-BasedFaultLocalization)就是其中一種輕量級的診斷技術(shù)。SFL通過運行大量測試用例,比較程序譜的成功測試用例運行和失效測試用例運行的差異來進行錯誤診斷,定位出有問題的語句。SFL能夠處理實驗程序,它通過減少調(diào)試過程中的時間開銷而縮短了測試.診斷.修正循環(huán)。但是現(xiàn)實中仍然存在著各種各樣的程序錯誤使得SFL技術(shù)得不到很好的效果。
　　 本論文歸納了關(guān)于SFL的技術(shù)的發(fā)展,提出了一種改進的運用程

3、序運行時依賴關(guān)系的多錯誤定位技術(shù),它關(guān)心的是程序的數(shù)據(jù)依賴和控制依賴,而不關(guān)心語句等的覆蓋信息,具體過程是通過插裝程序、運行測試用例得到程序的動態(tài)的依賴信息,根據(jù)這依賴信息建立程序模型,計算各個依賴的可疑值,再用本文提出的方法得出語句的可疑值,來幫助調(diào)試人員定位程序中多個錯誤并修改錯誤。
　　 本論文在WET工具和LOUPE代碼基礎(chǔ)上實現(xiàn)了程序多錯誤定位算法。使用Siemens套件作為試驗用的程序,用本文提出的方法與多個現(xiàn)有的程