论文标题
对自动化程序维修中的代码解释贴片的全面研究
A Comprehensive Study of Code-removal Patches in Automated Program Repair
论文作者
论文摘要
自动程序维修（APR）技术可以有希望帮助降低调试的成本。许多相关的APR技术遵循生成和验证方法，也就是说，有缺陷的程序被不同的更改操作员迭代修改，然后使用测试套件进行验证，直到生成了合理的补丁。特别是，Kali是一种生成和验证技术，旨在仅通过删除代码来研究生成合理贴片的可能性。前研究表明，卡利确实成功解决了几个故障。本文介绍了自动化程序维修中的代码删除补丁的情况，该情况调查了使其创建成为可能的原因和场景，以及与开发人员实现的补丁的关系。我们的研究表明，代码回能贴片通常不足以修复错误，并提出了代码回能贴片的全面分类法，这些分类法提供了可能影响测试套件的问题的证据，为研究人员在自动计划维修领域的研究人员打开了新的机会。
Automatic Program Repair (APR) techniques can promisingly help reducing the cost of debugging. Many relevant APR techniques follow the generate-and-validate approach, that is, the faulty program is iteratively modified with different change operators and then validated with a test suite until a plausible patch is generated. In particular, Kali is a generate-and-validate technique developed to investigate the possibility of generating plausible patches by only removing code. Former studies show that indeed Kali successfully addressed several faults. This paper addresses the case of code-removal patches in automated program repair investigating the reasons and the scenarios that make their creation possible, and the relationship with patches implemented by developers. Our study reveals that code-removal patches are often insufficient to fix bugs, and proposes a comprehensive taxonomy of code-removal patches that provides evidence of the problems that may affect test suites, opening new opportunities for researchers in the field of automatic program repair.
