hedgehog-inline-java-testing:haskell-hedgehog的基于模型的状态机测试以及inline...

刺猬在线Java测试 将的基于模型的状态机测试与结合使用的示例。 兴趣点 被测试的代码，一个用Java实现的循环缓冲区： 包装我们的循环缓冲区类的代码，提供了一个Haskell API： 测试包括： 循环缓冲区的简化模型（ Model数据类型） API的命令（ New ， Get ， Put ， Size ），生成器，前置条件和后置条件以及模型更新功能 Hedgehog属性在模型和Java实现的CircularBuffer上运行顺序生成测试，以验证它们的行为是否相同 参考 所使用的示例（圆形缓冲区及其模型）基于John Hughes的论文 。 在原始文件中，用C语言编写的被测试代码，以及用Erlang和Quviq QuickCheck进行的测试； 在此示例中，使用Haskell和Hedgehog库测试Java实现。 与构建相关的代码基于inline-java的示例： 这些示例