不变式引导的基于搜索的程序修复的补丁质量与多样性
软件工程
2020-03-27 v1
摘要
大多数自动程序修复技术依赖测试用例来指定正确的程序行为。然而，由于测试用例对期望行为的覆盖常常不完整，补丁往往过拟合且无法泛化到更广泛的需求。此外，在缺乏完全正确输出的情况下，确保更高补丁质量的方法（例如合并多个补丁或人工评估补丁建议）受益于获取多样化的补丁集合，使得补丁多样性成为一种潜在有用的特性。我们评估了 GenProg 及我们先前工作中描述的基于不变式的多样性增强扩展所生成补丁的正确性与多样性。我们发现没有证据表明促进多样性会在正向或负向改变补丁正确性。使用基于不变式和测试用例生成的语义多样性度量指标，我们发现无论使用何种修复技术，大多数缺陷的补丁之间未观察到语义差异。
引用
@article{arxiv.2003.11667,
title = {Patch Quality and Diversity of Invariant-Guided Search-Based Program Repair},
author = {Zhen Yu Ding},
journal= {arXiv preprint arXiv:2003.11667},
year = {2020}
}