基于偶然性正確測試用例發(fā)現(xiàn)的軟件錯誤定位方法.pdf

1、軟件錯誤定位是目前軟件工程領(lǐng)域的重要研究課題，其中基于程序譜的錯誤定位(CFL)是一類重要的方法，有文獻(xiàn)說明CFL方法在多錯誤環(huán)境下也有著良好的效果。偶然性正確測試用例對于CFL有著很大的負(fù)面影響，因此如何發(fā)現(xiàn)該類測試用例或者避免它們對CFL的影響對于提高CFL方法的定位效果有著重要的意義。
　　本文首先通過分析偶然性正確測試用例對CFL定位方法的影響，研究了偶然性正確測試用例的特點(diǎn)，發(fā)現(xiàn)了一種沒有誤判率(false positi

2、ve)的尋找偶然性正確測試用例的方法。在發(fā)現(xiàn)偶然性正確測試用例之后，本文又重點(diǎn)研究了基于偶然性正確測試用例如何改進(jìn)已有CFL方法，提出了三種基于偶然性止確測試用例發(fā)現(xiàn)的CFL定位方法。第一種方法是通過公式和實(shí)驗(yàn)分析證明了已有的對已有的基于偶然性正確的定位方法的不足，并且提出一種基于fail(s)/tfail值分析改進(jìn)方法;第二種方法是基于對于正確語句性質(zhì)的分析，提出一種基于MYCC(s)/TMYCC值分析的定位方法;第三種方法是通過使用