【文件属性】：
文件名称：qcstm:基于QCheck的OCaml的简单状态机框架
文件大小：21KB
文件格式：ZIP
更新时间：2021-05-23 05:18:56
ocaml quickcheck property-based-testing OCaml
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 ：命令生成
【文件预览】：
qcstm-master
----.travis.yml(193B)
----META(166B)
----.ocamlinit(125B)
----LICENCE(1KB)
----src()
--------qCSTM.odocl(6B)
--------qCSTM.ml(5KB)
----examples()
--------buf.ml(3KB)
--------stdiostub.c(56B)
--------cqstub.c(661B)
--------putgetstub.c(176B)
--------q.ml(2KB)
--------hanoi.ml(2KB)
--------hashtable.ml(3KB)
--------counter.ml(946B)
--------putget.mltop(26B)
--------stdio.mltop(15B)
--------stk.ml(2KB)
--------cq.ml(3KB)
--------cq.mltop(12B)
--------.merlin(72B)
--------putget.ml(1KB)
--------stdio.ml(6KB)
--------waterjug.ml(1KB)
----.merlin(129B)
----Makefile(2KB)
----README.md(7KB)
----qcstm.opam(1KB)