程序自动修复:关键问题及技术

发布时间：2021-07-04 06:55

　　程序自动修复技术能够有效地降低软件维护成本,是近年来学术研究的热点问题.待修复程序规约的刻画,对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约,将现有修复问题分为不完全规约、完全规约和半完全规约这3大类待修复问题.以3类抽象问题为线索,梳理了不同前提假设下修复技术面临的核心问题、问题之间的联系和技术体系中的逻辑关系.分析了不完全规约程序修复问题中高精度补丁生成、规约补全和补丁择优等问题,梳理了完全规约程序修复问题中内存泄漏、资源泄露、并发错误中的数据竞争、原子性违背、顺序违背和死锁,配置错误以及特定性能错误等具体问题及研究进展,整理了半完全规约程序修复问题中多种形式的修复具体问题及研究进展.最后分析了程序自动修复面临的机遇和挑战. 

【文章来源】：软件学报. 2019,30(02)北大核心EICSCD

【文章页数】：22 页

【部分图文】：

Fig.2Frameworkofautomaticprogramrepairdiagram图2程序自动修复框架示意图

【参考文献】：
期刊论文
[1]自动程序修复方法研究述评[J]. 王赞,郜健,陈翔,傅浩杰,樊向宇.  计算机学报. 2018(03)
[2]自动程序修复方法研究进展[J]. 玄跻峰,任志磊,王子元,谢晓园,江贺.  软件学报. 2016(04)
[3]基于程序频谱的动态缺陷定位方法研究[J]. 陈翔,鞠小林,文万志,顾庆.  软件学报. 2015(02)
[4]并发缺陷暴露、检测与规避研究综述[J]. 苏小红,禹振,王甜甜,马培军.  计算机学报. 2015(11)
[5]自动化软件错误定位技术研究进展[J]. 虞凯,林梦香.  计算机学报. 2011(08)



本文编号：3264275