QuickCheck

Software

It is compatible with the compiler, Glasgow Haskell Compiler (GHC) and the interpreter, Haskell User's Gofer System (Hugs). It is free and open-source software released under a BSD-style license.

In QuickCheck, assertions are written about logical properties that a function should fulfill. Then QuickCheck attempts to generate a test case that falsifies such assertions. Once such a test case is found, QuickCheck tries to reduce it to a minimal failing subset by removing or simplifying input data that are unneeded to make the test fail.

The project began in 1999. Besides being used to test regular programs, QuickCheck is also useful for building up a functional specification, for documenting what functions should be doing, and for testing compiler implementations.

Re-implementations of QuickCheck exist for many languages:

• C
• C++
• Chicken
• Clojure
• Common Lisp
• D
• Elm
• Elixir
• Erlang
• F#, and C#, Visual Basic (.NET) (VB.NET)
• Factor
• Go
• Io
• Java
• JavaScript
• Julia
• Logtalk
• Lua
• Mathematica
• Objective-C
• OCaml
• Perl
• Prolog{{cite book |chapter-url=http://repositorio.inesctec.pt/bitstreams/8eba3be3-020c-4ab3-9b49-398b3b65a561/download
• PHP
• Pony
• Python
• R
• Racket
• Rocq
• Ruby
• Rust
• Scala
• Scheme
• Smalltalk
• Standard ML
• Swift
• TypeScript
• Whiley

References

References

1. "Data.Collections.Properties".
2. Pennebaker, Andrew (mcandre). (October 13, 2011). "qc".
3. Zito, Andrea (nivox). (July 27, 2014). "quickcheck4c".
4. Vokes, Scott. (March 30, 2015). "Theft: property-based testing for C".
5. "QuickCheck".
6. "CppQuickCheck".
7. "RapidCheck".
8. Pennebaker, Andrew (mcandre). "cluckcheck".
9. Draper, Reid (reiddraper). (May 9, 2013). "simple-check".
10. Draper, Reid (reiddraper). (March 27, 2014). "org.clojure/test.check".
11. "cl-quickcheck".
12. Pennebaker, Andrew (mcandre). (October 27, 2011). "dashcheck".
13. "elm-explorations/test".
14. Thomas, Dave (pragdave). (2017-07-17). "quixir: Property-based testing for Elixir".
15. Alfert, Klaus. "propcheck: Property based testing for Elixir".
16. "PropEr: a QuickCheck-inspired property-based testing tool for Erlang".
17. (June 25, 2015). "FsCheck".
18. Pennebaker, Andrew (mcandre). (October 13, 2011). "factcheck".
19. leanovate. (April 26, 2016). "Gopter".
20. Pennebaker, Andrew (mcandre). (October 17, 2011). "IoCheck".
21. "FunctionalJava's QuickCheck module".
22. "Quickcheck for Java".
23. "JCheck".
24. "junit-quickcheck".
25. "jqwik for the JUnit5 Platform".
26. "Quick Theories property testing for Java 8".
27. "jetCheck property-based testing for Java 8".
28. Thompson, Darrin (darrint). "qc.js".
29. Crockford, Douglas. "jscheck".
30. Dubien, Nicolas (dubzzz). "fast-check".
31. "JSVerify — property based testing for JavaScript. Like QuickCheck.".
32. "Checkers.jl".
33. "lgtunit".
34. "lua-quickcheck".
35. "QuickCheck.wl — Automated Property-Based Testing for the Wolfram Language - Online Technical Discussion Groups—Wolfram Community".
36. Pennebaker, Andrew (mcandre). "objcheck".
37. Cruanes, Simon. "QuickCheck inspired property-based testing for OCaml.".
38. "Test: LectroTest: Tutorial".
39. "library(quickcheck)".
40. Oestreicher, Stefan (steos). "PhpQuickCheck".
41. Wahl, Matthias (mfelsche). "ponycheck".
42. MacIver, David. (April 16, 2016). "QuickCheck in Every Language".
43. (March 17, 2022). "quickcheck: Property Based Testing in R".
44. "Quickcheck".
45. "QuickChick".
46. Pennebaker, Andrew (mcandre). (September 14, 2017). "Rubycheck: a Ruby port of the QuickCheck unit test framework".
47. Gallant, Andrew (BurntSushi). "QuickCheck for Rust (with shrinking)".
48. "Hypothesis-like property testing for Rust".
49. "ScalaCheck".
50. "scalaprops/scalaprops".
51. "nyaya".
52. "Scheme-Check: Randomized Unit Testing for PLT Scheme".
53. Mejr, Antero. "SRFI 252: Property Testing".
54. Pennebaker, Andrew (mcandre). "QuickSmash".
55. (November 22, 2011). "QCheck/SML".
56. (November 3, 2017). "SwiftCheck: QuickCheck for Swift".
57. Dubien, Nicolas (dubzzz). "fast-check".
58. Chin, Janice. (July 2025). "QuickCheck for Whiley".