基于KBC特性及降噪的錯(cuò)誤定位技術(shù)及其實(shí)踐.pdf

1、軟件是充滿錯(cuò)誤的，而修復(fù)錯(cuò)誤最重要的前提，就是如何快速地定位錯(cuò)誤，這往往也是在軟件開(kāi)發(fā)周期里花費(fèi)人力物力最多的一步。因而任何可以降低錯(cuò)誤定位代價(jià)的技術(shù)都是非常有吸引力的。
　　 盡管現(xiàn)有的錯(cuò)誤定位技術(shù)在單錯(cuò)誤受測(cè)程序上進(jìn)行了一定的研究，但是其精準(zhǔn)度還遠(yuǎn)遠(yuǎn)不夠。當(dāng)一些在單錯(cuò)誤受測(cè)程序上行之有效的手段推廣到多錯(cuò)誤受測(cè)程序上時(shí)，其效果更是不好。
　　 本文對(duì)錯(cuò)誤定位技術(shù)的兩個(gè)關(guān)鍵因素進(jìn)行了改進(jìn)，提出了一個(gè)新的錯(cuò)誤指示器KBC和

2、一個(gè)相似性公式的降噪規(guī)則。KBC是一種從程序控制流圖上挖掘出的關(guān)鍵片段，該片段上的各個(gè)執(zhí)行序列有著更加豐富的上下文信息。降噪規(guī)則是一套能夠?qū)Υ蠖鄶?shù)相似性公式進(jìn)行降噪的形式化方法。通過(guò)運(yùn)用這兩個(gè)關(guān)鍵技術(shù)，本文提出了一個(gè)新的錯(cuò)誤定位框架——MinusFKBC。實(shí)驗(yàn)表明，該框架可使單錯(cuò)誤定位效率提升10％左右。通過(guò)輸入輸出優(yōu)化(即測(cè)試案例分組以及輔助信息排序)進(jìn)一步增強(qiáng)后，該框架還可以有效應(yīng)用于多錯(cuò)誤定位，并顯著提高其定位效率。