WikiEdge:ArXiv速遞/2025-05-23

摘要

• 原文標題：Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
• 中文標題：基於梯度的程序修復：在連續程序空間中修復錯誤
• 發布日期：2025-05-23 10:12:09+00:00
• 作者：André Silva, Gustav Thorén, Martin Monperrus
• 分類：cs.PL, cs.LG, cs.SE
• 原文連結：http://arxiv.org/abs/2505.17703v1

中文摘要：自動程序修復旨在從有缺陷的程序中生成正確代碼，現有方法大多在原始碼符號標記的離散空間中進行正確程序搜索。這種符號搜索的根本局限在於無法直接推理程序行為。我們提出基於梯度的程序修復（GBPR），該新範式將程序修復重構為可微分數值程序空間中的連續優化問題。核心思路是將符號程序編譯為可微分數值表示，從而直接在數值程序空間中基於程序行為指導搜索。為評估GBPR，我們構建了RaspBugs基準集——包含1,466個有缺陷的符號RASP程序及其對應數值表示。實驗表明，GBPR能通過在數值程序空間中進行梯度優化有效修復符號程序，並呈現可信的修復軌跡。據我們所知，這是首次將程序修復表述為數值程序空間中的連續優化問題。本研究為程序修復開闢了新方向，連接了兩個豐富領域：連續優化與程序行為。