#AI 代码生成

开源工具 SpecGuardian 用形式化规范测试 AI 生成代码

开发者 mrasu 在 GitHub 发布 SpecGuardian，可将 FizzBee 形式化规范的状态转移结果转化为 Go 测试，用于校验 AI 生成的实现是否符合规范。示例展示了如何通过注入 I/O 故障发现缓存与数据库写入顺序错误。