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

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

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

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