QuickCheck: Difference between revisions
(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 | ||
$ | $ git clone https://github.com/nick8325/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