PBT 是一个 Ruby 的基于属性的测试工具,支持多种并发方法(Ractor、多进程、多线程)。它允许开发者指定代码应遵循的一般特征,然后自动生成各种输入来验证这些属性,从而更有效地发现传统测试方法可能遗漏的边缘情况和错误。