mar*_*ngw 7 testing haskell quickcheck frp
我为一个我正在工作的小足球比赛写了一个有限状态机模块.它提供了一个用于设置FSM的接口(基本上是它的状态和转换).对于每个状态,您可以提供将在进入和退出时触发的函数,或者当FSM保持相同状态时,这些函数然后返回一些消息.它还提供了一个反应接口(Yampa),它产生时变状态并收集随时间发生的消息.该代码是在这里数据/ FSM.hs.
我正在寻找一种测试这个模块的好方法.由于它是纯净的,我想考虑快速检查一下.我没有经验快速检查,所以任何提示将不胜感激!到目前为止我的基本理解是:一个人会提供一些或多或少随机构建FSM的函数,然后在它们上运行一些(或多或少随机)转换.但我不太明白如何以这种方式构建测试......
首先，QuickCheck 可以说最适合验证广泛的通用属性。给定某种类型的任意数据，执行一些操作，然后使用谓词来确保结果具有相对于输入的某些属性。涉及逐步行为的精确细节的事情在这种风格中可能效果不佳，并且您不应该觉得有义务在 QuickCheck 中完成所有操作！
也就是说，根据您在评论中给出的更复杂的示例，您是否考虑过简单地生成预期输出以及 FSM 和输入？如果您可以生成您知道通过构造正确的所需结果，则可以在输入上运行 FSM 并将实际结果与构造的版本进行比较。
如果您避免将 QuickCheck 属性视为在某些输入上测试函数，而是将其视为检查一个或多个值是否满足以正在测试的函数表示的某些谓词，这可能会有所帮助。这个值的集合（可能包括多个输入、输出，以及任何必要的内容）实际上是由 QuickCheck 随机生成的。