antithesishq/bombadil

项目介绍

Bombadil 是面向 Web 和终端用户界面的属性测试（property-based testing）工具。它不播放固定脚本，而是自主探索界面并校验正确性属性，目标是更早发现更难触发的缺陷。它可以在本地开发环境、CI 以及 Antithesis 内部运行，使用 Rust 编写，采用 MIT 许可证。

快速使用

README 没有给出安装步骤或可直接运行的示例，而是指向手册。建议从 Bombadil 手册 开始，按平台完成 安装，再阅读 示例 了解如何编写规格。规格由动作生成器和属性组成；默认规格包含一组随机挑选的动作生成器，自定义规格可以自行定义动作生成器及其权重（维护者回复）。

使用约束

工具需要驱动一个真实界面，因此目标 Web 或终端应用必须能被运行测试的机器访问。普通环境与 Antithesis 内的运行方式不同：除非应用是确定性的或运行在 Antithesis 中，失败复现被描述为不稳定（维护者回复），目前也没有内置的重跑功能。贡献通过 GitHub Issue 和 Discord 协调，不鼓励直接提交 PR；使用 LLM 辅助的贡献需遵守项目的 Gen AI Policy。

HotRepo 点评

2026 年 3 月 19 日的 Hacker News 讨论获得 257 分和 106 条评论（讨论）；2026 年 11 月 15 日的 Rust 日榜记录中，项目以当日新增 189 Star 位列第 6。讨论内容比星数更有参考价值：有评论者肯定它单可执行文件的交付方式和较轻的依赖链（评论），这对需要嵌入现有 CI 的测试工具很重要；也有人追问动作如何选择、是否支持缩减和重跑，维护者确认默认动作生成器是随机的，重跑功能尚未实现（回复）。关于输入与被测应用之间存在多层依赖的担忧（评论），在判断失败应归因于自身代码还是测试框架时值得考虑。