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

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

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

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