基于測(cè)試的程序錯(cuò)誤定位系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、軟件調(diào)試對(duì)開發(fā)者來(lái)說(shuō)是一個(gè)昂貴的、費(fèi)時(shí)費(fèi)力的過(guò)程,尤其是定位程序中的錯(cuò)誤通常會(huì)耗費(fèi)調(diào)試過(guò)程的大部分時(shí)間。能夠減少錯(cuò)誤定位時(shí)間的技術(shù)顯然會(huì)對(duì)軟件開發(fā)和維護(hù)的成本和質(zhì)量具有重要的影響。近年來(lái),在人工智能領(lǐng)域和軟件工程自動(dòng)化領(lǐng)域出現(xiàn)了大量的計(jì)算機(jī)輔助軟件調(diào)試的工作,很多學(xué)者提出了多種程序錯(cuò)誤定位技術(shù)?；跍y(cè)試的軟件錯(cuò)誤定位技術(shù)(TBFL)成功地通過(guò)大量運(yùn)行程序比較程序元素的統(tǒng)計(jì)信息,定位有問(wèn)題的語(yǔ)句。然而仍然存在各種程序例子使得現(xiàn)有方法得不到

2、滿意的結(jié)果。作為一種有效的統(tǒng)計(jì)智能方法FBFL技術(shù)具有更加廣闊的發(fā)展空間。
　　 本論文歸納總結(jié)了TBFL的研究進(jìn)展,提出了一種改進(jìn)的基于測(cè)試的錯(cuò)誤定位技術(shù),它關(guān)心的不是語(yǔ)句覆蓋信息,而是分析程序的數(shù)據(jù)流和控制流。具體地說(shuō),我們運(yùn)行測(cè)試套件得到程序的動(dòng)態(tài)的控制依賴和數(shù)據(jù)依賴程序譜,根據(jù)這兩種類型的依賴程序譜建立合適的模型,計(jì)算各個(gè)依賴的可疑值,來(lái)評(píng)估可疑的語(yǔ)句,據(jù)此幫助程序員排除程序錯(cuò)誤。
　　 本論文根據(jù)這種程序錯(cuò)誤定