用于軟件故障定位的差異比較方法及其改進(jìn).pdf

1、軟件故障定位目的是快速準(zhǔn)確定位軟件中出現(xiàn)的錯(cuò)誤，它是一項(xiàng)復(fù)雜又耗時(shí)的過程。基于測試的軟件故障定位技術(shù)(TBFL)利用測試覆蓋信息對程序錯(cuò)誤(亦稱故障)進(jìn)行定位。TBFL可以分為基于差異度量的技術(shù)和基于特征統(tǒng)計(jì)的技術(shù)：基于差異度量的方法計(jì)算與失效運(yùn)行與所有成功運(yùn)行的最小差異，但是程序?qū)嶋H故障位置很可能不出現(xiàn)在最小差異中，并且這種方法都沒有對可疑代碼按照可疑程度進(jìn)行排序；基于特征統(tǒng)計(jì)的方法是通過對動態(tài)程序行為的統(tǒng)計(jì)信息進(jìn)行分析來定位故障，這

2、種方法對代碼進(jìn)行了可疑性排序，但排序往往受制于測試用例的質(zhì)量。對TBFL的研究工作需要大量的失效運(yùn)行和成功運(yùn)行，而這些所需數(shù)據(jù)不可避免地存在大量的運(yùn)行路徑冗余，因此導(dǎo)致定位效率和準(zhǔn)確性的降低。
　　 針對以上問題，我們首先提出了一種基于控制流對齊的運(yùn)行約減算法，然后提出了一種基于運(yùn)行約減的差異統(tǒng)計(jì)軟件故障定位方法。為此，我們首先對運(yùn)行約減，把運(yùn)行分成若干類，消除運(yùn)行冗余；再計(jì)算每一類成功運(yùn)行之間及每一類失效運(yùn)行之間差異，最后對得