12 lines
501 B
Plaintext
12 lines
501 B
Plaintext
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.
|