Vibe-Coding：基于反馈的自动验证，无需人工代码检查，一项可行性研究

Vibe 编码本质上假设通过反馈循环对 LLM 生成的代码进行迭代细化。虽然对传统软件任务有效，但其在运行时自适应系统中的可靠性尚不清楚——尤其是在未手动检查生成的代码时。本文研究了集体自适应系统（CAS）中 LLM 生成的自适应管理器的基于反馈的自动验证。我们关注循环验证的关键挑战：如何在运行时检测生成的代码的故障以及如何足够准确地报告它们以便 LLM 修复它们。我们将适应循环与振动编码反馈循环相结合，其中根据（i）通用架构约束和（ii）功能约束逻辑（FCL）中形式化的功能约束来检查正确性，FCL是一种潜在有限轨迹上的新颖的一阶时序逻辑。通过进行 Dragon Hunt CAS 案例研究，我们表明细粒度的约束违规提供了可操作的反馈，通常在几次迭代内产生有效的适应管理器，而简单的基于度量的粗略反馈通常会停滞。我们的研究结果表明，在由没有编程技能的领域专家设计的系统中，反馈精度是可靠振动编码的主导因素，从而消除了人工代码检查的需要。