25. 用基于属性测试的代理集群寻找 bug

他们做了什么

作者在公司做了一次关于"用代理集群做基于属性的测试"的业余项目分享。他们在公司的代码中发现了大约 30 个 bug。为了写一篇不以这些 bug 为主角的博客，他们把同样的方法用在开源项目上，包括 uv、codex 和 prometheus。帖子没有描述具体做法。

结果如何

作者报告在这些开源项目中共发现了约 100 个 bug，并说其中许多修复已经被合并。帖子没有给出各个项目的分项数据。

需要知道

这只是一条简短的公告，没有说明成本、设置或工具细节，具体方法要等作者承诺发布的博客文章。

你可以这样尝试

查看 [我的仓库或模块]，用 [Hypothesis / fast-check / 我所用语言的测试框架] 为它的核心函数（例如解析器、序列化器和数据转换）编写基于属性的测试。运行这些测试，对于每个失败的用例，把它缩减到最小的复现样例，并告诉我它看起来是否是真正的 bug。当你交给我一份附有复现步骤和修复建议的已确认 bug 清单时就停止；未经询问不要修改我的源代码。