对 编码智能体 生成的已验证编译器进行自动测试和修复

我们提出了一种基于代理的自动化测试和修复系统，用于经过验证的编译器，其中包含四种代码：经过验证的代码、经过检查的代码、未经验证的代码和规范。我们提出了利用此类编译器中存在的结构的专门缺陷检测技术。对于每个表面缺陷，系统调用 编码智能体 来修复缺陷并验证修复。我们在 Axon 编译器上评估系统，该编译器完全由在开发人员监督下运行的 编码智能体 生成。该编译器在开发过程中在一个小型基准测试集（利弗莫尔基准测试）上进行了验证，这增加了其 编码智能体 奖励破解编译器的可能性。我们还评估了修复系统奖励破解修复的可能性，并且在 Axon 编译器或修复中没有发现 奖励作弊 的证据。我们提出了表征测试和修复有效性的结果，并讨论了修复特性。