自动生成补丁的验证：开胃篇
软件工程
2020-07-27 v2
摘要
在基于测试用例的自动程序修复（APR）背景下，研究界将那些通过所有测试用例却未能真正修复缺陷的补丁称为测试用例过拟合补丁。目前，过拟合补丁必须由用户手动检查。作为一项阻碍 APR 工具广泛采用的劳动密集型活动，APR 生成补丁的自动验证近年来已成为研究热点。在本文中，我们指出已有技术/方法的局限性，这些局限性呼吁进一步研究，并介绍了通向有效自动补丁验证的两个有前景的方向：（1）受反模式相对有效性的启发，我们提议使用统计技术以避免应用部分反模式规则时的不可计算性并实现该技术自动化。我们的结果显示我们达到了至少 57% 的准确率。（2）我们提出了一种半自动技术的方案，帮助程序员发现被修补方法的属性，并基于这些属性对补丁进行压力测试，以尽可能多地过滤掉过拟合补丁。
引用
@article{arxiv.1912.00117,
title = {Validation of Automatically Generated Patches: An Appetizer},
author = {Ali Ghanbari},
journal= {arXiv preprint arXiv:1912.00117},
year = {2020}
}
备注
Insufficient empirical evidence needed to draw a reliable conclusion