基于属性的测试功能概述 基于属性的测试(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
1
属性测试 循环学校视频的代码
2021-06-08 13:04:17 3KB JavaScript
1