SpecGuardian 发布：用形式化规格测试 AI 生成代码

mrasu 发布 SpecGuardian，把 FizzBee 形式化规格的探索结果转成 Go 测试，用来检查 AI 生成的实现是否只到达规格允许的状态。测试会在受支持的 I/O 调用前注入错误，再比对实际状态与规格允许状态；在 cache-aside 示例中，它捕获了“先失效缓存后写库”的顺序 bug。 使用需要 Go 和 Docker Compose，仓库包含 FizzBee 探索结果与生成的测试。该工具目前一次只为一个 FizzBee Action 调用生成 Go 测试，仍处于开发中，公开 API 或生成的 Go 代码可能变化。

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

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