基于程序頻譜的軟件錯誤定位關(guān)鍵技術(shù)研究.pdf

1、在軟件調(diào)試的過程中，錯誤定位是最為昂貴和耗時的階段。為了輔助開發(fā)人員提高錯誤定位的效率，自動化錯誤定位技術(shù)已成為工業(yè)界和學(xué)術(shù)界共同追求的目標(biāo)。在已提出的方法中，基于程序頻譜的自動化錯誤定位由于具有實現(xiàn)簡便并且不需要考慮程序內(nèi)部結(jié)構(gòu)的特點，是一種當(dāng)前比較行之有效的方法。
　　通常，基于頻譜的錯誤定位效率取決于兩個關(guān)鍵因素:可疑度計算公式的構(gòu)造和測試用例的選擇。以往的可疑度計算公式盡管考慮到了各個頻譜因子的貢獻(xiàn)度，但是沒有充分挖掘程序

2、頻譜與執(zhí)行結(jié)果之間的潛在關(guān)聯(lián)，從而影響了錯誤定位效率;此外，已有的測試用例優(yōu)選方法較少關(guān)注偶然性正確測試用例的識別。然而，偶然性正確測試用例的存在，將會降低語句可疑度排序的有效性。并且，當(dāng)前針對偶然性正確測試用例的篩選方法，由于預(yù)先未對測試用例集構(gòu)成的高維數(shù)據(jù)進(jìn)行處理，因此結(jié)果仍存在較高誤判或漏判率的情況。
　　基于此，本文圍繞可疑度計算公式設(shè)計與測試用例選擇這兩個關(guān)鍵技術(shù)，展開了深入的研究，主要創(chuàng)新工作可以歸納如下:
　　

3、(1)經(jīng)驗性的分析程序頻譜和執(zhí)行結(jié)果之間存在的潛在關(guān)聯(lián)，并借助于統(tǒng)計學(xué)的條件概率思想，構(gòu)建了用以量化分析兩者關(guān)系強弱評估的P模型，并基于此提出了一種基于條件概率的缺陷定位方法.以Siemens套件中的7個程序和Space程序為基準(zhǔn)評測對象，實證研究結(jié)果表明，與已有13個經(jīng)典缺陷定位方法相比，新方法具有更好的缺陷定位效果。
　　(2)提出了基于頻譜權(quán)值的數(shù)據(jù)預(yù)處理方法，對測試用例覆蓋集進(jìn)行了降維去噪處理，排除了無關(guān)語句的干擾?；陬A(yù)