本文關(guān)鍵詞：自動(dòng)程序修復(fù)方法研究進(jìn)展

  更多相關(guān)文章： 自動(dòng)修復(fù) 遺傳規(guī)劃 基于搜索的軟件工程 測(cè)試集 實(shí)證基礎(chǔ)

【摘要】：自動(dòng)程序修復(fù)幫助開發(fā)者降低人工修復(fù)bug的成本.基于測(cè)試集的修復(fù)方法旨在生成能夠通過(guò)測(cè)試集的代碼補(bǔ)丁,以使程序正常運(yùn)行.回顧了基于測(cè)試集的程序修復(fù)的現(xiàn)有文獻(xiàn),按照自動(dòng)修復(fù)方法和實(shí)證基礎(chǔ)兩個(gè)方面陳述了研究進(jìn)展.首先,將已有的自動(dòng)修復(fù)方法劃分為3類,分別是基于搜索的、基于代碼窮舉的和基于約束求解的補(bǔ)丁生成方法;其次,細(xì)致地描述了程序修復(fù)的實(shí)證研究基礎(chǔ)以及該研究領(lǐng)域中的爭(zhēng)議;然后,簡(jiǎn)要介紹了程序修復(fù)的相關(guān)技術(shù)作為修復(fù)方法的補(bǔ)充;最后做出總結(jié),描述了面臨的機(jī)遇和挑戰(zhàn).
【作者單位】： 軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室(武漢大學(xué));武漢大學(xué)計(jì)算機(jī)學(xué)院;大連理工大學(xué)軟件學(xué)院;南京郵電大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金(61502345,61403057,61370144,61202032)~~
【分類號(hào)】：TP311.53
【正文快照】： 程序bug是軟件開發(fā)中不可避免的產(chǎn)物,其產(chǎn)生原因可以追溯到軟件開發(fā)的各個(gè)階段.歷史數(shù)據(jù)表明,超過(guò) 45%的現(xiàn)代軟件開發(fā)成本消耗于定位和修復(fù)bug過(guò)程中[1].無(wú)論工業(yè)生產(chǎn)還是學(xué)術(shù)研究領(lǐng)域,定位和修復(fù)程序bug都是軟件工程的核心問(wèn)題.隨著軟件測(cè)試和調(diào)試技術(shù)的提高,自動(dòng)化的程序bu

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前4條

1 羅會(huì)蘭;李靜;王威;;盲環(huán)境下數(shù)字圖像的自動(dòng)修復(fù)算法研究[J];計(jì)算機(jī)應(yīng)用研究;2010年11期

2 郭忠文;邵澤武;;FORMAT.COM源程序分析及其在軟硬盤自動(dòng)修復(fù)和反系統(tǒng)病毒技術(shù)中的應(yīng)用[J];微型機(jī)與應(yīng)用;1992年06期

3 紀(jì)濤;齊玉華;毛曉光;;基于軟件自動(dòng)修復(fù)評(píng)估缺陷定位技術(shù)的工具:GenProg-FL[J];計(jì)算機(jī)科學(xué);2014年09期

4 ;[J];;年期

，

本文編號(hào)：1224931