文件名称：qcstm:基于QCheck的OCaml的简单状态机框架
文件大小：21KB
文件格式：ZIP
更新时间：2024-06-11 23:05:36
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)