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能通过在数值程序空间中进行梯度优化有效修复符号程序，并呈现可信的修复轨迹。据我们所知，这是首次将程序修复表述为数值程序空间中的连续优化问题。本研究为程序修复开辟了新方向，连接了两个丰富领域：连续优化与程序行为。