快速 Rapid是用于基于属性测试的Go库。 快速检查您定义的属性是否适用于大量自动生成的测试用例。 如果发现故障，快速提示会在出现故障之前自动最小化它。 基于属性的测试强调考虑程序应满足的高级属性，而不是提出所需行为的单个示例列表（测试用例）。 这导致编写简洁而强大的测试是一种乐趣。 快速的设计和实现受启发，该本身是的后代。 产品特点 惯用Go API 设计用于go test和testing包 与和等库配合使用 全自动最小化失败的测试用例 支持状态机（“有状态”或“基于模型”）测试