12 lines
542 B
Text
12 lines
542 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.
|
|
|
|
WWW: http://code.haskell.org/QuickCheck
|