基于CodeBERT和Stacking集成學習的補丁正確性驗證方法

摘要： 近年來，自動程序修復已成為軟件工程領域的重要研究課題。然而，現(xiàn)有的自動修復技術大多是基于補丁生成和測試的，在補丁驗證環(huán)節(jié)時間成本很高。此外，由于測試套件的不完備，許多候選補丁雖然能通過測試，但實際上并不正確，從而導致補丁過擬合。為提高補丁驗證的效率并緩解補丁過擬合的問題，提出了一種靜態(tài)的補丁驗證方法。該方法首先使用大型預訓練模型CodeBERT自動提取缺陷代碼片段和補丁代碼片段... （共9頁）