Software:QuickCheck

From HandWiki
Short description: Software testing software
QuickCheck
Developer(s)Koen Claessen, John Hughes
Initial release1999; 25 years ago (1999)
Stable release
2.14.2 / 14 November 2020; 3 years ago (2020-11-14)
Repositorygithub.com/nick8325/quickcheck
Written inHaskell
Operating systemUnix-like, Windows
Available inEnglish
TypeSoftware testing
LicenseBSD-style
Websitewww.cse.chalmers.se/~rjmh/QuickCheck

QuickCheck is a software library, specifically a combinator library, originally written in the programming language Haskell, designed to assist in software testing by generating test cases for test suites – an approach known as property testing.

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.[1]

Re-implementations of QuickCheck exist for several languages:



See also

References

  1. "Data.Collections.Properties". http://hackage.haskell.org/packages/archive/collections-api/1.0.0.0/doc/html/Data-Collections-Properties.html. 
  2. Pennebaker, Andrew (mcandre) (October 13, 2011). "qc". https://github.com/mcandre/qc. 
  3. Zito, Andrea (nivox) (July 27, 2014). "quickcheck4c". https://github.com/nivox/quickcheck4c. 
  4. Vokes, Scott (March 30, 2015). "Theft: property-based testing for C". https://github.com/silentbicycle/theft. 
  5. "QuickCheck". http://software.legiasoft.com/quickcheck/. 
  6. "CppQuickCheck". https://github.com/philipp-classen/CppQuickCheck. 
  7. "RapidCheck". https://github.com/emil-e/rapidcheck. 
  8. Pennebaker, Andrew (mcandre). "cluckcheck". https://github.com/mcandre/cluckcheck. 
  9. Draper, Reid (reiddraper) (May 9, 2013). "simple-check". https://github.com/reiddraper/simple-check. 
  10. Draper, Reid (reiddraper) (March 27, 2014). "org.clojure/test.check". https://github.com/clojure/test.check. 
  11. "cl-quickcheck". http://www.cliki.net/cl-quickcheck. 
  12. "QuickChick". https://github.com/QuickChick/QuickChick. 
  13. Pennebaker, Andrew (mcandre) (October 27, 2011). "dashcheck". https://github.com/mcandre/dashcheck. 
  14. "elm-explorations/test". https://github.com/elm-explorations/test. 
  15. Thomas, Dave (pragdave) (2017-07-17). "quixir: Property-based testing for Elixir". https://github.com/pragdave/quixir. 
  16. Alfert, Klaus. "propcheck: Property based testing for Elixir". https://github.com/alfert/propcheck. 
  17. "PropEr: a QuickCheck-inspired property-based testing tool for Erlang". https://github.com/proper-testing/proper. 
  18. "FsCheck". June 25, 2015. https://fscheck.github.io/FsCheck. 
  19. Pennebaker, Andrew (mcandre) (October 13, 2011). "factcheck". https://github.com/mcandre/factcheck. 
  20. leanovate (April 26, 2016). "Gopter". https://github.com/leanovate/gopter. 
  21. Pennebaker, Andrew (mcandre) (October 17, 2011). "IoCheck". https://github.com/mcandre/IoCheck. 
  22. "FunctionalJava's QuickCheck module". https://github.com/functionaljava/functionaljava/. 
  23. "Quickcheck for Java". https://bitbucket.org/blob79/quickcheck. 
  24. "JCheck". http://www.jcheck.org/. 
  25. "junit-quickcheck". https://github.com/pholser/junit-quickcheck/. 
  26. "jqwik for the JUnit5 Platform". http://jqwik.net/. 
  27. "Quick Theories property testing for Java 8". https://github.com/ncredinburgh/QuickTheories. 
  28. "jetCheck property-based testing for Java 8". https://github.com/JetBrains/jetCheck. 
  29. Thompson, Darrin (darrint). "qc.js". http://bitbucket.org/darrint/qc.js/. 
  30. Crockford, Douglas. "jscheck". https://github.com/douglascrockford/JSCheck. 
  31. Dubien, Nicolas (dubzzz). "fast-check". https://github.com/dubzzz/fast-check. 
  32. "JSVerify — property based testing for JavaScript. Like QuickCheck.". https://jsverify.github.io. 
  33. "Checkers.jl". https://github.com/pkalikman/Checkers.jl. 
  34. "lgtunit". https://logtalk.org/manuals/devtools/lgtunit.html. 
  35. "lua-quickcheck". https://github.com/luc-tielen/lua-quickcheck. 
  36. "QuickCheck.wl — Automated Property-Based Testing for the Wolfram Language - Online Technical Discussion Groups—Wolfram Community" (in en-US). https://community.wolfram.com/groups/-/m/t/2309649. 
  37. Pennebaker, Andrew (mcandre). "objcheck". https://github.com/mcandre/objcheck. 
  38. Cruanes, Simon. "QuickCheck inspired property-based testing for OCaml.". https://github.com/c-cube/qcheck. 
  39. "Test: LectroTest: Tutorial". https://metacpan.org/module/Test::LectroTest::Tutorial. "The LectroTest project was inspired by Haskell's QuickCheck module by Koen Claessen and John Hughes" 
  40. "library(quickcheck)". http://www.swi-prolog.org/pack/list?p=quickcheck. 
  41. Amaral, Claudio; Florido, Mario; Costa, Vitor Santos (2014). "PrologCheck - Property-based testing in Prolog". Proceedings of the Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014). Lecture Notes in Computer Science 8475: 1–17. doi:10.1007/978-3-319-07151-0_1. ISBN 978-3-319-07150-3. http://repositorio.inesctec.pt/bitstreams/8eba3be3-020c-4ab3-9b49-398b3b65a561/download. 
  42. Oestreicher, Stefan (steos). "PhpQuickCheck". https://github.com/steos/php-quickcheck. 
  43. Wahl, Matthias (mfelsche). "ponycheck". https://github.com/mfelsche/ponycheck. 
  44. MacIver, David (April 16, 2016). "QuickCheck in Every Language". https://hypothesis.works/articles/quickcheck-in-every-language/. 
  45. "quickcheck: Property Based Testing in R". March 17, 2022. https://github.com/armcn/quickcheck. 
  46. "Quickcheck". https://docs.racket-lang.org/quickcheck/index.html. 
  47. Pennebaker, Andrew (mcandre) (September 14, 2017). "Rubycheck: a Ruby port of the QuickCheck unit test framework". https://github.com/mcandre/rubycheck. 
  48. Gallant, Andrew (BurntSushi). "QuickCheck for Rust (with shrinking)". https://github.com/BurntSushi/quickcheck. 
  49. "Hypothesis-like property testing for Rust". https://github.com/altsysrq/proptest. 
  50. "ScalaCheck". https://github.com/rickynils/scalacheck. 
  51. "scalaprops/scalaprops". https://github.com/scalaprops/scalaprops. 
  52. "nyaya". https://github.com/japgolly/nyaya. 
  53. "Scheme-Check: Randomized Unit Testing for PLT Scheme". http://www.inf.ufrgs.br/~carlossch/scheme-check/. "Scheme-Check is a module that implements randomized unit testing in PLT Scheme. With Scheme-Check, instead of creating many individual tests, you specify properties of your code and Scheme-Check generates a large amount of random data sets to test those properties. Scheme-Check is basically a Scheme port of QuickCheck." 
  54. Pennebaker, Andrew (mcandre). "QuickSmash". https://github.com/mcandre/quicksmash. 
  55. "QCheck/SML". November 22, 2011. http://contrapunctus.net/league/haques/qcheck/. 
  56. "SwiftCheck: QuickCheck for Swift". November 3, 2017. https://github.com/typelift/SwiftCheck. 
  57. Dubien, Nicolas (dubzzz). "fast-check". https://github.com/dubzzz/fast-check. 
  58. Chin, Janice. "QuickCheck for Whiley". http://ecs.victoria.ac.nz/~djp/files/JaniceChinENGR489.pdf. 

Further reading

External links