一种基于修复偏好的自动程序修复工具集成策略

　　丰富的APR系统（1）

　　APR(Automated Program Repair)旨在自动修复软件系统中的缺陷

　　目前已经有超过40种的APR工具，包括

　　传统的基于规则的工具l基于神经机器翻译的工具（NPR）l基于大语言模型（LLM）的工具

　　1.基于启发式搜索：人工定义启发式规则,指导修复补丁的生成过程

　　例子:GenProg[1],采用遗传算法，以能通过的测试用例的数量为优化目标，不断修改缺陷的代码片段直到产生通过所有测试用例的代码

　　2.基于语义约束：通过某种手段推断程序的正确规约,作为约束指导补丁的生成过程

　　例子:Nopol[2],针对java程序中的条件语句，首先在出错的代码位置搜集所有变量的取值情况,然后根据期望的条件语句取值情况(true或false),将程序语义编码成为Z3约束求解器的约束进行求解

　　3.基于修复模板的方法：根据开发者、研究人员的经验或者数据挖掘的结果预定义一些补丁模板或者补丁生成策略用于指导修复的过程

　　例子:TBar[3],基于修复模板的大成之作，集成了大量的补丁模板