自动程序修复方法研究进展

来源：软件学报杂志2016年第4期北京时间：

作者：玄跻峰,任志磊,王子元,谢晓园,江贺

单位：玄跻峰，软件工程国家重点实验室(武汉大学), 湖北 武汉 430072;武汉大学 计算机学院, 湖北 武汉 43007211,任志磊，大连理工大学 软件学院, 辽宁 大连 11662102,王子元，南京邮电大学 计算机学院, 江苏 南京 21000603,谢晓园，软件工程国家重点实验室(武汉大学), 湖北 武汉 430072;武汉大学 计算机学院, 湖北 武汉 43007204,江贺，大连理工大学 软件学院, 辽宁 大连 11662105

摘要：自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动修复方法和实证基础两个方面陈述了研究进展.首先,将已有的自动修复方法划分为3类,分别是基于搜索的、基于代码穷举的和基于约束求解的补丁生成方法;其次,细致地描述了程序修复的实证研究基础以及该研究领域中的争议;然后,简要介绍了程序修复的相关技术作为修复方法的补充;最后做出总结,描述了面临的机遇和挑战.

关键词：自动修复;遗传规划;基于搜索的软件工程;测试集;实证基础

基金资助：国家自然科学基金(61502345,61403057,61370144,61202032)