QuickCheck

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For the convenience store, see Quick Chek.
QuickCheck
Developer(s) Koen Claessen, John Hughes
Initial release 1999
Stable release 2.6 / 7 March 2013; 16 months ago (2013-03-07)
Operating system Unix-like, Microsoft Windows
Available in Haskell
Type Software testing
License BSD-style
Website www.cse.chalmers.se/~rjmh/QuickCheck/

QuickCheck is a combinator library written in Haskell, designed to assist in software testing by generating test cases for test suites. It is compatible with the GHC compiler and the Hugs interpreter.

In QuickCheck the programmer writes assertions about logical properties that a function should fulfill. Then QuickCheck attempts to generate test cases that falsify these assertions. The project was started 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 C,[2][3] C++,[4] Chicken Scheme,[5] Clojure,[6][7][8] Common Lisp,[9] D,[10] Erlang,[11][12] F#,[13] Factor,[14] Io,[15] Java,[16][17][18] JavaScript,[19] Node.js,[20] Objective-C,[21] OCaml,[22] Perl,[23] Prolog,[24][25] Python,[26] Ruby,[27] Scala,[28] Scheme,[29] Smalltalk[30] and Standard ML.[31]

See also[edit]

References[edit]

  1. ^ http://hackage.haskell.org/packages/archive/collections-api/1.0.0.0/doc/html/Data-Collections-Properties.html
  2. ^ mcandre (October 13, 2011). "qc". Github.com. Retrieved December 9, 2011. 
  3. ^ nivox (July 27, 2014). "quickcheck4c". Github.com. Retrieved July 27, 2014. 
  4. ^ "QuickCheck". Software.legiasoft.com. Retrieved December 9, 2011. 
  5. ^ mcandre. "cluckcheck". Github.com. Retrieved December 9, 2011. 
  6. ^ ClojureCheck. "ClojureCheck". Bitbucket.org. Retrieved December 9, 2011. 
  7. ^ reiddraper (May 9, 2013). "simple-check". Github.com. Retrieved August 21, 2013. 
  8. ^ reiddraper (March 27, 2014). "org.clojure/test.check". Github.com. Retrieved March 27, 2014. 
  9. ^ "cl-quickcheck". Cliki.net. Retrieved December 9, 2011. 
  10. ^ mcandre (October 27, 2011). "dashcheck". Github.com. Retrieved December 9, 2011. 
  11. ^ Arts, Thomas and Hughes, John and Johansson, Joakim and Wiger, Ulf; Phil Trinder (editor) (2006). "Testing Telecoms Software with Quviq QuickCheck". Proceedings of the Fifth ACM SIGPLAN Erlang Workshop" (PDF): 2. doi:10.1145/1159789.1159792. 
  12. ^ Papadakis, M., Sagonas, K. (2011), "A PropEr Integration of Types and Function Specifications with Property-Based Testing", Proceedings of the 2011 ACM SIGPLAN Erlang Workshop (PDF): 39–50, doi:10.1145/2034654.2034663 
  13. ^ "FsCheck". Codeplex.com. May 29, 2011. Retrieved December 9, 2011. 
  14. ^ mcandre (October 13, 2011). "factcheck". Github.com. Retrieved December 9, 2011. 
  15. ^ mcandre (October 17, 2011). "IoCheck". Github.com. Retrieved December 9, 2011. 
  16. ^ "Quickcheck for Java". Quickcheck.dev.java.net. Retrieved December 9, 2011. 
  17. ^ "JCheck". JCheck. Retrieved December 9, 2011. 
  18. ^ "junit-quickcheck". junit-quickcheck. Retrieved July 3, 2013. 
  19. ^ qc.js. "qc.js". Bitbucket.org. Retrieved December 9, 2011. 
  20. ^ Node.js node-quickcheck
  21. ^ mcandre. "objcheck". Github.com. Retrieved December 9, 2011. 
  22. ^ little-arhat. "ocaml-quickcheck". Github.com. Retrieved December 9, 2011. 
  23. ^ "Test::LectroTest::Tutorial". "The LectroTest project was inspired by Haskell's QuickCheck module by Koen Claessen and John Hughes: http://www.cs.chalmers.se/~rjmh/QuickCheck/." 
  24. ^ "library(quickcheck)". 
  25. ^ Claudio Amaral, Mario Florido, Vitor Santos Costa (2014). "PrologCheck - Property-based testing in Prolog". Proceedings of the Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014). 
  26. ^ Bravender, Dan (June 21, 2009). "qc – another Python implementation of QuickCheck". Dan.bravender.us. Retrieved December 9, 2011. 
  27. ^ https://github.com/mcandre/rubycheck
  28. ^ "ScalaCheck". Google. Retrieved December 9, 2011. 
  29. ^ "Scheme-Check is a module that implements randomized unit testing in PLT Scheme. With Scheme-Check, instead of creating lots of 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" [1] -(Internet Archive copy).
  30. ^ mcandre. "QuickSmash". Github.com. Retrieved December 9, 2011. 
  31. ^ "QCheck/SML". Contrapunctus.net. November 22, 2011. Retrieved December 9, 2011. 

Further reading[edit]

External links[edit]