基于约束逻辑的CAS适配Vibe Coding中的反馈式自动验证

在CAS适配中，一个挑战是定义系统的动态架构及其行为变化。在实现层面，这体现为一种适配机制，通常实现为适配管理器（Adaptation Manager, AM）。随着生成式LLM的进步，基于系统规约与期望的AM行为（部分以自然语言表述）生成AM代码是一个诱人的机会。近来出现的vibe coding提示了一条路径：通过迭代测试与vibe coding反馈回路，而非直接代码审查，来处理生成代码的正确性问题。本文表明，当生成AM的验证基于对功能需求非常精确的表述时，通过vibe coding反馈回路生成AM是可行选项。我们在新颖时序逻辑FCL中把这些需求表述为约束，它能以远比经典LTL更细的粒度表达轨迹行为。此外，我们表明，把适配与vibe coding反馈回路结合、对当前系统状态评估FCL约束，在为CAS领域两个示例系统生成AM的实验中取得了良好结果。通常只需少数几轮反馈迭代，每轮向LLM提供描述约束违反细节的报告。该AM测试与通过不同初始设置获得的高运行路径覆盖相结合。