QuickCheckで入力を生成してパーセルパーサーをテストする

Question

パーセルパーサーのテスト用のテストを作成したいと思います。ここで私はQuickCheckをテストしたいパーサの簡単な例です：だから

identifier = do 
    c <- letter 
    cs <- many (alphaNum <|> oneOf identSymbols) 
    skipSpaces 
    return $ Ident $ c:cs 

は、理想的に、私はQuickCheckは、有効な識別子を生成し、私は戻って右の結果を得るだけでなく、無効な識別子を生成することを確認したいと思います彼らがParseErrorを返すことを確認してください。このようなことを楽にするユーティリティはありますか？そのような入力を生成するために、言い換えれば、私のパーサーを逆に実行する方法がありますか？

一般に、このパーサーのQuickCheckテストの優れたスイートはどのように見えますか？ある程度までは、徹底的なテストを達成するために、基本的にQuickCheckのパーサのロジックを複製する必要があるようです。これは本当に良いアイデアか、おそらくHUnitのような従来のツールがQuickCheckよりも適している状況でしょうか？

Answer 1

一般に、パーサの逆はかなりプリンタであり、パーサへのランダム入力の逆は、ASTの無作為な印刷です。

したがって、usual approachに従って、正常に整形された構文フラグメントを駆動するASTの任意のインスタンスを定義します。誤った文字をラッパーとしてミックスして、エラー処理をテストします。

参照：

• Automated Testing of Java ABNF Grammar Parsers with QuickCheck
• Automatic Testing of Higher Order Functions - QCとクリーンでパーサのテスト。