Koen Claessen
Abstract
QuickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are discribed as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in which the tool was successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a fine grain. When a function is built from separately tested components, then random testing suffuces to obtain good coverage of the definition under test.
- S. Antoy and R. Hamlet. Automatically checking an implementation against its formal specification. In Irvine Software Symposium, pages 29--48, March 1992.Google Scholar
- Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic Programming - An Introduction. In Lecture notes in Computer Science, volume 1608, 1999.Google Scholar
- P. Bjesse, K. Claessen, M. Sheeran, and S. Singh. Lava: Hardware Design in Haskell. In International Conference on Functional Programming, Baltimore, 1998. ACM. Google ScholarDigital Library
- M. Blum and S. Kannan. Designing programs that check their work. In Proc. 21st Symposium on the Theory of Computing, pages 86--97. ACM, May 1989. Google ScholarDigital Library
- M. Blum, M. Luby, and R. Rubinfeld. Self-testing/correcting with applications to numerical problems. In Proc. 22nd Symposium on the Theory of Computing, pages 73--83. ACM, May 1990. Google ScholarDigital Library
- A. Celentano, S. C. Reghizzi, P. Della Vigna, and C. Ghezzi. Compiler testing using a sentence generator. Software - Practice & Experience, 10:897--918, 1980.Google Scholar
- K. Claessen and D. Sands. Observable Sharing for Functional Circuit Description. In Asian Computer Science Conference, Phuket, Thailand, 1999. ACM Sigplan. Google ScholarDigital Library
- M. Davis and H. Putnam. A computing procedure for quantification theory. Journal of the Association for Computing Machinery, 7(3) :201--215, 1960. Google ScholarDigital Library
- J. Duran and S. Ntafos. An evaluation of random testing. Transactions on Software Engineering, 10(4):438--444, July 1984.Google ScholarDigital Library
- J. Gannon, R. Hamlet, and P. McMullin. Data abstraction implementation, specification, and testing. Trans. Prog. Lang. and Systems, (3):211--223, 1981. Google ScholarDigital Library
- D. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970--978. Wiley, 1994.Google Scholar
- R. Hamlet and R. Taylor. Partition testing does not inspire confidence. Transactions on Software Engineering, 16(12):1402--1411, December 1990. Google ScholarDigital Library
- J . Hughes. Why Functional Programming Matters. In D. Turner, editor, Research Topics in Functional Programming. Addison Wesley, 1990. Google ScholarDigital Library
- M. P. Jones. The Hugs distribution. Currently available from http://haskell. org/hugs, 1999.Google Scholar
- P. M. Maurer. Generating test data with enhanced context-free grammars. IEEE Software, 7(4) :50--56, 1990. Google ScholarDigital Library
- Gunnar StaImarck. A System for Determining Propositional Logic Theorems by Applying Values and Rules to Triplets that are Generated from a Formula, 1989. Swedish Patent No. 467076 (approved 1992), U.S. Patent No.5 276 897 (1994), European Patent No. 0403 454 (1995).Google Scholar
- Philip Wadler. Theorems for free! In International Conference on Functional Programming and Computer Architecture, London, September 1989. Google ScholarDigital Library
- Philip Wadler. A prettier printer, March 1998. Draft paper.Google Scholar
Index Terms
- QuickCheck: a lightweight tool for random testing of Haskell programs
Recommendations
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programmingQuick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data ...
QuickCheck: a lightweight tool for random testing of Haskell programs
Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data ...
Testing Erlang Refactorings with QuickCheck
Implementation and Application of Functional LanguagesRefactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support Erlang program refactoring; the Wrangler tool is written in Erlang.
In this paper we ...
Comments