搜索结果：quickcheck（2 个）
按分类缩小范围
scalacheck
综合 58
ScalaCheck 是一个专为 Scala 和 Java 程序设计的基于属性的自动化测试库。它受 QuickCheck 启发，能自动生成大量测试数据来验证代码属性是否始终成立，免去手写个别用例的繁琐。它零外部依赖，自带测试运行器，并深度集成了 SBT、ScalaTest 和 specs2。
tasty
综合 51
Tasty 是 Haskell 的现代化测试框架。它解决了各类测试难以统一管理的问题，能将单元测试、Golden 测试及 QuickCheck 等属性测试整合进同一个测试套件。核心功能包括多测试并发执行且确定性输出、命令行模式过滤、层级着色统计展示、跨测试资源管理及高度可扩展性。