Lambda the Ultimate

inactiveTopic QuickCheck
started 12/24/2002; 6:01:42 AM - last post 12/24/2002; 6:01:42 AM
Ehud Lamm - QuickCheck  blueArrow
12/24/2002; 6:01:42 AM (reads: 1224, responses: 0)
QuickCheck is a tool for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.

QuickCheck is very simple, which means it is easy to understand and use. The ICFP paper is well worth your time, and discusses several questions that are relevant for anyone using or designing testing tools (with useful and up to date references).

However, I don't think that the design is very Haskell specific. I think you can achieve most of the design goals with static polymorphism (templating) etc.

Posted to Software-Eng by Ehud Lamm on 12/24/02; 6:07:08 AM