Difference between revisions of "QuickCheck"
Jump to navigation
Jump to 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: | ||
+ | |||
⚫ | |||
+ | QuickCheck is a library for random testing of program properties. |
||
+ | |||
⚫ | |||
**[[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 |
||
+ | $ git clone https://github.com/nick8325/quickcheck |
||
− | $ darcs get http://code.haskell.org/QuickCheck |
||
There are many variants of QuickCheck |
There are many variants of QuickCheck |
||
− | * Original QuickCheck |
+ | * Original QuickCheck |
− | * QuickCheck2 - |
+ | * 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