Antithesis 用变异测试教 Agent 主动破坏分布式系统

moarbugs · x · 2026-09-25

测试基础设施公司 Antithesis 发布新的 agent skill,把变异测试(mutation testing)引入分布式系统测试:先注入人工 bug,验证或迭代测试套件,直到安全性质真正可证伪——即存在违反性质的 bug 时测试应当失败。这解决了经典的测试预言问题(怎么知道测试本身足够健壮)。

团队用开源容错数据库 rqlite(基于 SQLite、Raft 共识复制)做演示:agent 从代码库推断高层不变量,构建 Antithesis harness 在故障注入下检查这些安全性质,再用变异测试检验测试本身的鲁棒性。文章附交互式图解释了推断出的不变量与变异测试结果。