Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2016-01-14

Journal: 软件学报

Included Journals: CSCD、ISTIC、PKU、EI

Volume: 27

Issue: 4

Page Number: 771-784

ISSN: 1000-9825

Key Words: 自动修复;遗传规划;基于搜索的软件工程;测试集;实证基础

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