Prueba de analizadores Parsec generando entradas con QuickCheck

Question

Me gustaría escribir pruebas para un conjunto de analizadores Parsec. Aquí está un ejemplo simple de un analizador quiero probar con QuickCheck:

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

Así, idealmente, me gustaría QuickCheck para generar identificadores válidos y asegúrese de que tenga los resultados Derecha, así como la generación de identificadores no válidos y asegurándose de que devuelvan ParseError. ¿Hay utilidades que facilitarían este tipo de cosas? ¿Hay alguna manera en que pueda "ejecutar mi analizador en reversa", por así decirlo, para generar tales entradas?

En general, ¿cómo sería un buen conjunto de pruebas de QuickCheck para este analizador? Hasta cierto punto, parece que básicamente tendría que duplicar la lógica del analizador en QuickCheck para lograr una prueba exhaustiva. ¿Es realmente una buena idea, o quizás una situación en la que una herramienta más tradicional como HUnit es más adecuada que QuickCheck?

Answer 1

En general, el reverso de un analizador es una impresora bonita, y el reverso de la entrada aleatoria a un analizador, es una impresión bastante aleatoria de un AST.

Por lo tanto, siga el usual approach y defina una instancia arbitraria para su AST, que maneja fragmentos de sintaxis bien formados al azar. Mezcle algunos caracteres erróneos como un contenedor para probar el manejo de errores.

Consulte también:

• Automated Testing of Java ABNF Grammar Parsers with QuickCheck
• Automatic Testing of Higher Order Functions - prueba del analizador en limpio con control de calidad.