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

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

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