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