Difference between revisions of "QuickCheck"

From HaskellWiki
Jump to: navigation, search
(QC Variants added)
(Added section "Blog articles" with a link to "The Design and Use of QuickCheck]", category "Testing" and section "Further reading"; changed command for fetching the QuickCheck source)
 
Line 1: Line 1:
*[[Introduction to QuickCheck]]
 
  +
  +
QuickCheck is a library for random testing of program properties.
  +
 
*[[Introduction to QuickCheck2 | Introduction to QuickCheck]]
 
**[[Ru/Introduction to QuickCheck]]
 
**[[Ru/Introduction to QuickCheck]]
 
*[[QuickCheck as a test set generator]]
 
*[[QuickCheck as a test set generator]]
Line 6: Line 9:
 
The latest version is under version control
 
The latest version is under version control
   
$ darcs get http://code.haskell.org/QuickCheck
 
  +
$ git clone https://github.com/nick8325/quickcheck
   
 
There are many variants of QuickCheck
 
There are many variants of QuickCheck
* Original QuickCheck - shipped with GHC
+
* Original QuickCheck
* QuickCheck2 - from code.haskell.org, includes shrink and other extensions
+
* QuickCheck2 - includes shrink and other extensions
 
* SmallCheck - systematic testing upto a specific depth
 
* SmallCheck - systematic testing upto a specific depth
 
* Lazy SmallCheck - SmallCheck with _|_ in data-structures
 
* Lazy SmallCheck - SmallCheck with _|_ in data-structures
  +
  +
== Blog articles ==
  +
  +
* [https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html The Design and Use of QuickCheck]
  +
  +
== Further reading ==
  +
  +
See the [[Introduction_to_QuickCheck2#Going_further | list at Introduction to QuickCheck]]
  +
  +
  +
[[Category:Testing]]

Latest revision as of 18:28, 16 January 2017

QuickCheck is a library for random testing of program properties.

The latest version is under version control

$ git clone https://github.com/nick8325/quickcheck

There are many variants of QuickCheck

  • Original QuickCheck
  • QuickCheck2 - includes shrink and other extensions
  • SmallCheck - systematic testing upto a specific depth
  • Lazy SmallCheck - SmallCheck with _|_ in data-structures

Blog articles

Further reading

See the list at Introduction to QuickCheck