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

【文章來(lái)源】：東南大學(xué)江蘇省 211工程院校 985工程院校 教育部直屬院校

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

【學(xué)位級(jí)別】：博士

【部分圖文】：

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

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


本文編號(hào)：3606896