文件名称：hedgehog-inline-java-testing:haskell-hedgehog的基于模型的状态机测试以及inline-java
文件大小：10KB
文件格式：ZIP
更新时间：2024-05-18 18:19:59
Haskell
刺猬在线Java测试 将的基于模型的状态机测试与结合使用的示例。 兴趣点 被测试的代码，一个用Java实现的循环缓冲区： 包装我们的循环缓冲区类的代码，提供了一个Haskell API： 测试包括： 循环缓冲区的简化模型（ Model数据类型） API的命令（ New ， Get ， Put ， Size ），生成器，前置条件和后置条件以及模型更新功能 Hedgehog属性在模型和Java实现的CircularBuffer上运行顺序生成测试，以验证它们的行为是否相同 参考 所使用的示例（圆形缓冲区及其模型）基于John Hughes的论文 。 在原始文件中，用C语言编写的被测试代码，以及用Erlang和Quviq QuickCheck进行的测试； 在此示例中，使用Haskell和Hedgehog库测试Java实现。 与构建相关的代码基于inline-java的示例： 这些示例
【文件预览】：
hedgehog-inline-java-testing-master
----.gitignore(56B)
----settings.gradle(31B)
----Setup.hs(757B)
----hedgehog-inline-java-testing.cabal(1KB)
----build.gradle(194B)
----src()
--------main()
--------test()
----default.nix(557B)
----hedgehog-inline-java-testing.nix(559B)
----LICENSE(1KB)
----README.md(2KB)
----shell.nix(412B)