Personal tools

QuickCheck

From HaskellWiki

(Difference between revisions)
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

[edit] 1 Blog articles

[edit] 2 Further reading

See the list at Introduction to QuickCheck