开源工具 SpecGuardian 发布：利用形式化规范自动化测试 AI 生成的代码实现

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