科研之友
微信
新浪微博
Facebook
分享链接
摘要
自动程序修复是近年来的研究热点并取得了一定的进展。现有的自动程序修复方法大多利用测试套件来验证补丁正确性。然而，使用测试套件验证自动程序修复方法生成的大量候选补丁不仅会造成巨大的开销，不完美的测试套件还会导致补丁的过拟合问题，因此如何提高补丁验证效率、有效验证补丁正确性成为亟待解决的问题。为了降低补丁验证开销并提高补丁正确率，提出了结合两种嵌入技术验证补丁正确性的方法。该方法首先利用Doc2Vec计算补丁与错误代码的相似性，然后使用一个基于BERT模型的分类器过滤通过相似性筛选出的补丁中的错误补丁。为了验证所提方法的有效性，基于5个开源的Java缺陷库进行实验，结果表明该方法能够有效地验证补丁的正确性并提高验证效率。
- 单位
