文章摘要:程序缺陷自动修复是指针对程序中存在的缺陷，自动生成相应的程序补丁，进而使程序恢复正常运行。首先，根据补丁生成方式的不同，将程序缺陷自动修复方法划分为4类，分别为基于搜索的、基于语义的、基于机器学习的以及基于错误报告驱动的程序缺陷自动修复方法。基于搜索的程序缺陷自动修复方法运用启发式算法在搜索空间内通过搜索生成程序补丁；基于语义的程序缺陷自动修复方法将修复约束作为合成程序补丁的规约，最后通过约束求解器生成程序补丁；基于机器学习的程序缺陷自动修复方法使用数据集训练并生成修复模型，通过修复模型生成程序补丁；基于错误报告驱动的程序缺陷自动修复方法通过利用程序执行以及用户反馈的错误信息生成程序补丁。本文对以上4类程序缺陷自动修复方法进行了详细阐述；其次，总结了检验程序缺陷自动修复方法及工具修复效果所用到的缺陷库；最后，分析了程序缺陷自动修复在工业界的应用现状并总结了该领域面临的关键问题及未来研究的方向。

文章关键词:

论文分类号:TP311.53