testing - Haskell:如何使用快速检查测试(响应式(Reactive))FSM？

Question

我为我目前正在开发的一款小型足球游戏编写了一个有限状态机模块。它提供了一个用于设置 FSM(主要是它的状态和转换)的接口(interface)。对于每个状态，您可以提供将在进入和退出时触发的函数，或者当 FSM 保持相同状态时，这些函数然后返回一些消息。它还提供了一个 react 接口(interface) (Yampa)，该接口(interface)产生随时间变化的状态并收集随时间发生的消息。代码在这里 Data/FSM.hs .

我正在寻找测试此模块的好方法。因为它是纯净的，所以我想尝试一下快速检查。我没有使用快速检查的经验，所以任何提示将不胜感激!到目前为止，我的基本理解是:人们会提供一些或多或少随机构建 FSM 的函数，然后在它们上运行一些(同样或多或少随机的)转换。但我不太明白如何以这种方式构建测试...

Answer 1

首先，QuickCheck 可以说最适合验证广泛的一般属性。给定某种类型的任意数据，执行一些操作，然后使用谓词确保结果具有与输入相关的某些属性。涉及逐步行为的精确细节的事情在这种风格中可能效果不佳，您不应该觉得有义务在 QuickCheck 中做所有事情!

也就是说，根据您在评论中给出的更复杂的示例，您是否考虑过简单地生成预期输出以及 FSM 和输入？如果您可以生成您知道构造正确的所需结果，则可以在输入上运行 FSM，并将实际结果与构造版本进行比较。

如果您避免将 QuickCheck 属性视为对某个输入的函数进行测试，而是将其视为检查一个或多个值是否满足根据被测试函数表达的某些谓词，则可能会有所帮助。这个值集合(可能包括多个输入、输出，任何必要的)实际上是由 QuickCheck 随机生成的。