軟件自動修復技術修復內涵分析研究.pdf

1、隨著時代的發(fā)展，軟件的開發(fā)規(guī)模與軟件復雜度日漸提高，由于開發(fā)人員的因素或者軟件本身的因素導致軟件中的缺陷越來越多，并且缺陷種類繁多，軟件在社會中引發(fā)的故障所造成的損失也越來越大，開發(fā)人員的目光必須重點放在對軟件修復的研究上，然而人工進行軟件調試不僅給維護人員增加了繁重的工作量，還可能延緩軟件恢復正常運行的時間。所以學術界把研究重點放在了如何能有效減緩調試人員的壓力上，為此開發(fā)了自動調試技術，例如軟件自動修復技術。
　　雖然近些年來

2、在關于程序自動修復上的研究取得了很大成果，但是仍然存在很多待解決問題，自動修復的成功率和效率依然有待提高。一般而言，軟件自動修復技術都是基于缺陷容忍與缺陷排除的方式來實現(xiàn)軟件錯誤自動修復的，可是目前的自動修復技術只關注于修復補丁是否能夠滿足測試用例集的驗證，卻忽略了對修復效果的研究分析。本文主要是對自動修復工具在修復效果方面的探討研究，通過對兩種具有代表性的自動修復工具GenProg與CETI修復結果的收集，分析兩種工具的修復效果，以此

3、來判斷自動修復工具在修復時是采取缺陷容忍修復還是缺陷排除修復，在修復時工具更傾向于哪種修復手段。從本文的實驗結果可得知大部分情況軟件自動修復工具在修復時會使用缺陷容忍的方式，只有小部分情況會使用缺陷排除的方式，缺陷排除修復占總修復量的兩成左右。
　　本文通過對缺陷涉及代碼行數(shù)統(tǒng)計，以及缺陷到失效所經過傳播鏈的長度，提出了一個關于錯誤復雜程度的理念，由于自動修復軟件在修復時必然會涉及到缺陷代碼以及錯誤傳播鏈，本文進而對錯誤復雜度與自