程序自動(dòng)修復(fù)技術(shù)能夠有效地降低軟件維護(hù)成本,是近年來學(xué)術(shù)研究的熱點(diǎn)問題.待修復(fù)程序規(guī)約的刻畫,對(duì)自動(dòng)修復(fù)過程具有至關(guān)重要的作用.從規(guī)約的角度對(duì)程序自動(dòng)修復(fù)問題和技術(shù)進(jìn)行了分析梳理.從待修復(fù)程序是否具有完整的程序規(guī)約,將現(xiàn)有修復(fù)問題分為不完全規(guī)約、完全規(guī)約和半完全規(guī)約這3大類待修復(fù)問題.以3類抽象問題為線索,梳理了不同前提假設(shè)下修復(fù)技術(shù)面臨的核心問題、問題之間的聯(lián)系和技術(shù)體系中的邏輯關(guān)系.分析了不完全規(guī)約程序修復(fù)問題中高精度補(bǔ)丁生成、規(guī)約補(bǔ)全和補(bǔ)丁擇優(yōu)等問題,梳理了完全規(guī)約程序修復(fù)問題中內(nèi)存泄漏、資源泄露、并發(fā)錯(cuò)誤中的數(shù)據(jù)競(jìng)爭(zhēng)、原子性違背、順序違背和死鎖,配置錯(cuò)誤以及特定性能錯(cuò)誤等具體問題及研究進(jìn)展,整理了半完全規(guī)約程序修復(fù)問題中多種形式的修復(fù)具體問題及研究進(jìn)展.最后分析了程序自動(dòng)修復(fù)面臨的機(jī)遇和挑戰(zhàn). 

【文章來源】：軟件學(xué)報(bào). 2019,30(02)北大核心EICSCD

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

【部分圖文】：

Fig.2Frameworkofautomaticprogramrepairdiagram圖2程序自動(dòng)修復(fù)框架示意圖

【參考文獻(xiàn)】：
期刊論文
[1]自動(dòng)程序修復(fù)方法研究述評(píng)[J]. 王贊,郜健,陳翔,傅浩杰,樊向宇.  計(jì)算機(jī)學(xué)報(bào). 2018(03)
[2]自動(dòng)程序修復(fù)方法研究進(jìn)展[J]. 玄躋峰,任志磊,王子元,謝曉園,江賀.  軟件學(xué)報(bào). 2016(04)
[3]基于程序頻譜的動(dòng)態(tài)缺陷定位方法研究[J]. 陳翔,鞠小林,文萬志,顧慶.  軟件學(xué)報(bào). 2015(02)
[4]并發(fā)缺陷暴露、檢測(cè)與規(guī)避研究綜述[J]. 蘇小紅,禹振,王甜甜,馬培軍.  計(jì)算機(jī)學(xué)報(bào). 2015(11)
[5]自動(dòng)化軟件錯(cuò)誤定位技術(shù)研究進(jìn)展[J]. 虞凱,林夢(mèng)香.  計(jì)算機(jī)學(xué)報(bào). 2011(08)



本文編號(hào)：3264275