开发者 sf.net/projects/qc4j/

QC4J 是一个基于规范的自动化测试框架，基于 Haskell 的快速检查。通过用户定义的生成器自动创建测试数据，可以方便地测试参考透明代码。