Testing monadic code with QuickCheck
Paper in proceedings, 2002

QuickCheck is a previously published random testing tool for Haskell programs. In this paper we show how to use it for testing monadic code, and in particular imperative code written using the ST monad. QuickCheck tests a program against a specification: we show that QuickCheck's specification language is sufficiently powerful to represent common forms of specifications: algebraic, model-based (both functional and relational), and pre-/post-conditional. Moreover, all these forms of specification can be used directly for testing. We define a new language of monadic properties, and make a link between program testing and the notion of observational equivalence.

Author

Koen Lindström Claessen

Chalmers, Department of Computing Science

John Hughes

Chalmers, Department of Computing Science

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

0362-1340 (ISSN)

Vol. 37 12 47-59

Subject Categories

Computer and Information Science

DOI

10.1145/636517.636527

More information

Created

10/8/2017