11 lines
539 B
Text
11 lines
539 B
Text
|
QuickCheck is a library for random testing of program properties. 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.
|
||
|
|
|
||
|
|
WWWW: http://www.cs.chalmers.se/~koen
|