Haskell - 在 QuickCheck 的帮助下进行 Parsec 测试

Question

我想为 Parsec 解析器编写一个测试。这是解析器和数据结构的示例:

data Event = Event { keyEvent :: String }
    deriving Show

parseKey :: Parser Event
parseKey = do
             char '<'
             k <- many1 (letter <|> digit <|> oneOf "_")
             char '>'
             return $ Event k

我知道我需要检查 parse = parse . pretty . parse属性(property)。但是我应该如何生成正确和不正确的测试用例呢？一般来说，我应该如何为给定的 BNF 生成测试用例?我知道 instance Arbitrary ，但没有太大帮助。

如果您为这个简单的解析器提供一个注释良好的生成器示例，我将不胜感激。

Answer 1

测试解析器并不完全是微不足道的。 (取决于事物的复杂性，与所有测试一样。)

您可以做的一件事是写一个 Arbitrary构造所有有效表达式的实例(或您要解析的任何表达式)，然后检查您是否漂亮地打印了该内容，然后解析了结果字符串，您是否可以准确地返回您开始时的内容。

这样做有几个问题:

如果答案是错误的，那是什么坏了？解析器还是打印机？

如果你正在解析的东西足够复杂，以至于有可选的括号和东西，你需要检查它在有和没有可选括号的情况下是否有效。通常，您 pretty-print 只会以一种或另一种方式做到这一点。

这不会检查垃圾输入是否确实被拒绝(并且不会被解析为奇怪的东西)。例如，我写了很多 Parsec 解析器，如果语法错误发生在输入的末尾，它们会默默地忽略它。

一般来说，我所知道的测试解析器的唯一真正彻底的方法就是手动编写大量的手动测试。 (并且每次您发现解析错误的内容时，为其添加另一个测试用例。)例如，这基本上就是 GHC 对他们的测试套件所做的事情。

当然，这取决于您的解析器有多复杂，以及您想要多少保证......如果您只是解析 JSON，您可能可以相当容易地对其进行测试。如果你正在解析 Markdown 之类的东西......我的上帝怜悯你的灵魂!