点击次数：

论文类型：期刊论文

发表时间：2016-01-14

发表刊物：软件学报

收录刊物：EI、PKU、ISTIC、CSCD

卷号：27

期号：4

页面范围：771-784

ISSN号：1000-9825

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

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