QuickCheck: Difference between revisions
(start) |
(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) |
||
| (One intermediate revision by one other user not shown) | |||
| 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]] | ||
*[[QuickCheck / GADT]] | *[[QuickCheck / GADT]] | ||
$ | 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 == | |||
* [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