生成和验证(G&V)的自动程序修复方法

参考论文——《Automatic software repair: A survey》Proceedings of the 40th International Conference on Software Engineering. 2018: 1219-1219

生成和验证Generate-and-Validate(G&V)的自动程序修复方法 ：该方法执行一个迭代过程，该过程主要有两个活动组成——生成(generate)活动（生成针对错误代码的候选解决方案）、验证(validate)活动（用于验证生成的解决方案的正确性），大致流程如下图所示：

1、生成活动：生成活动使用一组更改操作来修改原始程序 P，并生成 K 个新程序添加到候选解决方案集中，其中对定位技术识别出的可疑位置进行修改的概率较高，更改操作包括以下几种：

• 原子更改（atomic change）操作：在单个点上修改 P。具体来说，是在其抽象语法树的单个位置修改程序，该方式不需要对程序进行任何分析，只需要分析需要更改的程序位置即可实现
• 预定义模板更改（pre-defined template）操作：根据潜在的复杂预定义模式更改 P。具体来说，该操作会根据一组更改操作来修改程序，这些更改操作会影响程序的一个或多个语句，使用模板，开发人员可以定义复杂的更改模式，这些更改模式会在多个位置连贯地影响正在修复的程序，而通过原子更改的随机组合很难获得这种模式
• 基于示例的模板（example-based template）操作：该工作方式与预定义模板相同，但是其模板是从历史数据(例如版本控制系统)中手动或自动提取的。具体来说，是根据从已用于修复程序的修复示例集中提取的一组更改操作，来改进程序（基于搜索的技术），或者系统地执行更改（蛮力技术）。与预定义模板类似，基于示例的模板可能实现相当复杂的模式，在多个位置一致地影响正在修复的程序

2、验证活动：用于检查候选方案的正确性，目前大多数生成和验证技术都是通过运行可用的测试用例来确定解决方案的正确性。如果候选方案集中的程序 s 通过了所有可用测试用例，则将 s 作为 P 可能的修复返回给开发人员，作为验证结果，候选解决方案集中的某些或者所有元素都会被丢弃（如很多测试未通过且在很大程度上不能令人满意的候选解决方案通常会被丢弃）