论文
ORCA:针对微服务事件的基于可观察性的程序修复
ORCA: Observability-Grounded Program Repair for Microservice Incidents
摘要
微服务故障通常通过操作遥测来诊断。然而,自动程序修复系统通常从问题报告、本地化代码上下文或失败的测试开始。这种不匹配在基于遥测的诊断和补丁生成之间留下了差距。我们提出了 ORCA,一个基于可观察性的微服务事件 APR 管道。 ORCA 首先将配对故障和参考遥测数据中的差异提炼为故障签名,然后使用该签名来识别候选代码和部署配置位置。修复图代理和探索代理从这些位置生成统一差异补丁候选。 ORCA 使用基于遥测的补丁验证器评估生成的补丁,该验证器可区分补丁有效性、语法和语义正确性、测试预言完整性和遥测重播。在 575 个案例基准上,ORCA 在成本效益方面优于所有评估的基准。结果表明,操作遥测可以从诊断证据转化为可操作的修复上下文:配对遥测支持面向修复的本地化,而修复图代理将本地化代码和配置证据转换为 LLM 的受限补丁生成上下文。然后,基于遥测的验证会暴露仅问题或仅测试评估可能会错过的修复结果。