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

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

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