开源工具 SpecGuardian 发布：利用形式化规范测试 AI 代码

2026年11月1日，开发者发布开源工具 SpecGuardian，旨在利用形式化规范自动化测试 AI 生成的代码实现。该工具能够将 FizzBee 形式化规范的状态探索结果转化为 Go 测试用例，用以验证代码实现是否符合允许的状态流转。此外，SpecGuardian 支持在 I/O 调用前注入故障，检验异常场景与正常执行下的应用状态是否违背预设规范，以此捕获执行顺序或一致性缺陷。用户可通过编写 YAML 配置和规范文件，将测试套件接入本地 Go 项目完成自动化校验。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。