pbt-frameworks:基于属性的测试功能概述

基于属性的测试功能概述 基于属性的测试（PBT）框架具有许多不同的功能，但是哪个库支持哪些功能？ 对于PBT新手来说，很难说出来。 为了测试命令式API，一个具有状态机支持的框架将是不错的选择。 集成收缩对于大型开发来说可能是个不错的功能，在这种情况下，编写自定义收缩器可能就不可行了。 ... 此概述是为了帮助自己保持跟踪。 在多年的已被汇编。 随着功能逐渐添加到框架中，不幸的是，表的条目可能会过时。 YMMV。 我很乐意接受PR来更新条目和添加新框架。 框架功能 框架 语 收缩 诠释shr。 状态机 面值英石。 马赫。 埃尔朗 :check_mark: :check_mark: :check_mark: :check_mark: 埃尔朗 :check_mark: :check_mark: :check_mark: :check_mark: 哈斯克尔 :check_mark: 哈斯克尔 :check_mark: :check_mark: :check_mark: :check_mark: Scala / JVM