-
基于QCheck的OCaml简单状态机框架：qcstm
资源介绍
QCSTM：基于QCheck的OCaml的简单状态机框架
该库实现了一个简单的，类型化的状态机框架，用于对命令性代码进行基于属性的测试。 测试由抽象模型和被测系统上的符号命令（生成器）和两个命令解释器来描述。
该库要求最近安装OCaml和框架。
其他语言的状态机框架包括：
for Erlang
于Erlang
for Erlang
Scala
为Haskell和R
Haskell的
JavaScript / TypeScript
for C ++
...
QCSTM从Quviq的商业Erlang状态机框架和ScalaCheck的状态机框架中汲取了灵感。
该库被公式化为OCaml函子。 作为其参数，函子需要一个指定3种类型的模块：
cmd ：命令类型
state ：模型状态的类型
sut ：被测系统的类型
此外，用户还必须提供：
arb_cmd ：命令生成