WikiEdge:ArXiv速遞/2025-05-23

出自WikiEdge
於 2025年5月26日 (一) 09:00 由 Carole對話 | 貢獻 所做的修訂 (Created page by Carole)
(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)
跳至導覽 跳至搜尋

摘要

  • 原文標題: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能通過在數值程序空間中進行梯度優化有效修復符號程序,並呈現可信的修復軌跡。據我們所知,這是首次將程序修復表述為數值程序空間中的連續優化問題。本研究為程序修復開闢了新方向,連接了兩個豐富領域:連續優化程序行為