隨著現(xiàn)代軟件產業(yè)規(guī)模的逐漸增大,程序修復已經成為軟件開發(fā)和維護過程中消耗資源最多的活動之一。自動化程序修復技術旨在利用計算機高效的處理能力代替?zhèn)鹘y(tǒng)程序修復活動中繁重的人工勞動。因其美好的實現(xiàn)愿景,自動化程序修復技術自誕生以來受到了學術界和工業(yè)界的廣泛關注。經過近10年的發(fā)展,雖然自動化程序修復領域涌現(xiàn)出了很多優(yōu)秀的技術方法,如Gen Prog、AE等技術均在其驗證實驗中表現(xiàn)出了很好的修復效果,但目前仍缺少對自動化程序修復全面的實證研究,不同的目標程序規(guī)模、測試用例和修復技術等因素如何影響修復效果仍不明確。因此,本文基于5種主要的修復技術,對其在25種不同的測試用例組合條件下修復180個不同的程序錯誤的過程開展大規(guī)模的實證研究,根據(jù)實驗數(shù)據(jù)來探索修復過程中的各項因素如何影響最終的修復效果,并進一步分析現(xiàn)有修復技術存在的缺陷。實驗數(shù)據(jù)顯示,現(xiàn)有自動化程序修復技術在修復較大規(guī)模程序的錯誤時易出現(xiàn)成功率和效率大幅度下降的問題,這主要有兩方面原因:一是候選補丁的搜索空間過大,修復技術難以搜索到正確補丁;二是程序錯誤過于復雜,修復技術無法生成正確補丁。以這兩方面缺陷為切入點,本文分別提出了基于變異... 

【文章來源】：東南大學江蘇省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：111 頁

【學位級別】：博士

【部分圖文】：

論文章節(jié)的組織結構

50%。我們同樣也針對成功修復補丁進行了搜索空間的研究分析，具體數(shù)據(jù)參見圖3.6。從圖中數(shù)據(jù)可以看出，上述的正確補丁分布規(guī)則同樣適用于除RSRepair外的其他4種自動化程序修復技術生成的成功修復補丁。在實驗中，我們一共獲取了2897個成功修復補丁，在候選補丁的前50%搜索空間中，Brute-force、AE、Kali、GenProg和RSRepair分別能夠搜索到94%、74%、89%、90%和63%的成功修復補丁。結論 10： 實驗中除 RSRepair 外的其他 4 種自動化程序修復技術均能夠在候選補丁搜索空間的前 50% 找到 80% 的正確補丁和成功修復補丁。3.5 討論3.5.1 實驗結論綜合分析本章實驗旨在探索修復過程中的各項因素對修復結果的影響。在對實驗結果的實證分析過程中，我們從不同的角度得到了10個結論，下面我們結合修復過程中的各項因38


本文編號：3606896