结合Doc2Vec和BERT嵌入技术的补丁验证方法
自动程序修复是近年来的研究热点并取得了一定的进展.现有的自动程序修复方法大多利用测试套件来验证补丁正确性.然而,使用测试套件验证自动程序修复方法生成的大量候选补丁不仅会造成巨大的开销,不完美的测试套件还会导致补丁的过拟合问题,因此如何提高补丁验证效率、有效验证补丁正确性成为亟待解决的问题.为了降低补丁验证开销并提高补丁正确率,提出了结合两种嵌入技术验证补丁正确性的方法.该方法首先利用Doc2Vec计算补丁与错误代码的相似性,然后使用一个基于BERT模型的分类器过滤通过相似性筛选出的补丁中的错误补丁.为了验证所提方法的有效性,基于5个开源的Java缺陷库进行实验,结果表明该方法能够有效地验证补丁的正确性并提高验证效率.
自动程序修复、补丁验证、代码相似性、嵌入技术
49
TP311(计算技术、计算机技术)
国家自然科学基金61673384
2022-11-10(万方平台首次上网日期,不代表论文的发表时间)
共7页
83-89