基于CodeBERT和Stacking集成學(xué)習(xí)的補丁正確性驗證方法

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