QuickCheck
From Wikipedia, the free encyclopedia
For the convenience store, see Quick Chek.
| Developer(s) | Koen Claessen, John Hughes |
|---|---|
| Stable release | 2.4.1.1 / Tue Apr 26 18:58:51 UTC 2011 |
| Operating system | Unix-like, Microsoft Windows |
| Type | Software testing |
| License | BSD-style |
| Website | http://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; these tests are specifically generated to test and attempt to falsify these assertions. The project was started in 2000. 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] C++,[3] Chicken Scheme,[4] Clojure,[5] Common Lisp,[6] D,[7] Erlang,[8] F#,[9] Factor,[10] Io,[11] Java[12][13] JavaScript,[14] Node.js,[15] ObjC,[16] OCaml,[17] Perl,[18] Python,[19] Ruby,[20] Scala,[21] Scheme,[22] Smalltalk[23] and Standard ML.[24]
[edit] See also
[edit] References
- ^ http://hackage.haskell.org/packages/archive/collections-api/1.0.0.0/doc/html/Data-Collections-Properties.html
- ^ mcandre (October 13, 2011). "qc". Github.com. https://github.com/mcandre/qc. Retrieved December 9, 2011.
- ^ "QuickCheck". Software.legiasoft.com. http://software.legiasoft.com/quickcheck/. Retrieved December 9, 2011.
- ^ mcandre. "cluckcheck". Github.com. https://github.com/mcandre/cluckcheck. Retrieved December 9, 2011.
- ^ ClojureCheck. "ClojureCheck". Bitbucket.org. https://bitbucket.org/kotarak/clojurecheck. Retrieved December 9, 2011.
- ^ "cl-quickcheck". Cliki.net. http://www.cliki.net/cl-quickcheck. Retrieved December 9, 2011.
- ^ mcandre (October 27, 2011). "dashcheck". Github.com. https://github.com/mcandre/dashcheck. Retrieved December 9, 2011.
- ^ Arts, Thomas and Hughes, John and Johansson, Joakim and Wiger, Ulf; Phil Trinder (editor) (2006). "Testing Telecoms Software with Quviq QuickCheck" (PDF). Proceedings of the Fifth ACM SIGPLAN Erlang Workshop": 2. doi:10.1145/1159789.1159792.
- ^ "FsCheck". Codeplex.com. May 29, 2011. http://www.codeplex.com/fscheck. Retrieved December 9, 2011.
- ^ mcandre (October 13, 2011). "factcheck". Github.com. https://github.com/mcandre/factcheck. Retrieved December 9, 2011.
- ^ mcandre (October 17, 2011). "IoCheck". Github.com. https://github.com/mcandre/IoCheck. Retrieved December 9, 2011.
- ^ "Quickcheck for Java". Quickcheck.dev.java.net. http://quickcheck.dev.java.net/. Retrieved December 9, 2011.
- ^ "JCheck". JCheck. http://www.jcheck.org/. Retrieved December 9, 2011.
- ^ qc.js. "qc.js". Bitbucket.org. http://bitbucket.org/darrint/qc.js/. Retrieved December 9, 2011.
- ^ Node.js node-quickcheck
- ^ mcandre. "objcheck". Github.com. https://github.com/mcandre/objcheck. Retrieved December 9, 2011.
- ^ little-arhat. "ocaml-quickcheck". Github.com. https://github.com/camlunity/ocaml-quickcheck. Retrieved December 9, 2011.
- ^ "Test::LectroTest::Tutorial". http://search.cpan.org/~tmoertel/Test-LectroTest-0.3600/lib/Test/LectroTest/Tutorial.pod. "The LectroTest project was inspired by Haskell's QuickCheck module by Koen Claessen and John Hughes: http://www.cs.chalmers.se/~rjmh/QuickCheck/."
- ^ Bravender, Dan (June 21, 2009). "qc – another Python implementation of QuickCheck". Dan.bravender.us. http://dan.bravender.us/2009/6/21/Simple_Quickcheck_implementation_for_Python.html. Retrieved December 9, 2011.
- ^ "RushCheck". Rushcheck.rubyforge.org. http://rushcheck.rubyforge.org/. Retrieved December 9, 2011.
- ^ "ScalaCheck". Google. http://code.google.com/p/scalacheck/. Retrieved December 9, 2011.
- ^ "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).
- ^ mcandre. "QuickSmash". Github.com. https://github.com/mcandre/quicksmash. Retrieved December 9, 2011.
- ^ "QCheck/SML". Contrapunctus.net. November 22, 2011. http://contrapunctus.net/league/haques/qcheck/. Retrieved December 9, 2011.
[edit] Further reading
- Koen Claessen, John Hughes (2002). "Testing Monadic Programs with QuickCheck" (PostScript). SIGPLAN Notices 37 (12): 47–59. doi:10.1145/636517.636527. http://www.cse.chalmers.se/~rjmh/Papers/QuickCheckST.ps. Retrieved 2006-01-29.
- Koen Claessen and John Hughes (2000). "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs" (PostScript). Proc. Of International Conference on Functional Programming (ICFP), ACM SIGPLAN. http://www.cse.chalmers.se/~koen/pubs/icfp00-quickcheck.ps. Retrieved 2006-01-29.[dead link]
- Koen Claessen and John Hughes (2003). "Specification Based Testing with QuickCheck". The Fun of Programming, Cornerstones of Computing, Jeremy Gibbons and Oege de Moor (eds.): 17–40. http://www.math.chalmers.se/~koen/pubs/entry-fop-quickcheck.html. Retrieved 2006-01-29.[dead link]
- Koen Claessen (August 2004). "QuickCheck: Specification-based Random Testing" (PPT). Presentation at Summer Institute on Trends in Testing: Theory, Techniques and Tools. http://www.math.chalmers.se/~koen/pubs/entry-tt04-quickcheck.html. Retrieved 2006-01-29.[dead link]
- Koen Claessen, Colin Runciman, Olaf Chitil, and John Hughes (2002). "Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat" (PostScript). Advanced Functional Programming: 4th International School, Lecture Notes in Computer Science 2638: 59–99. http://www.cs.chalmers.se/~koen/pubs/afp02-quickcheck.ps. Retrieved 2006-01-29.[dead link]
[edit] External links
 |
Wikibooks has a book on the topic of |
- "Introduction to QuickCheck" -(on the Haskell wiki)
- "QuickCheck as a test set generator: Haskell as an ultimate "smoke testing" tool OR Using QuickCheck as a DIY test data generator"
- "QuickCheck / GADT"
- "Introductory Haskell: Solving the Sorting-It-Out Kata" -(demonstration of the use of QuickCheck in solving a programming problem)
- QuickCheck testimonial
- "System.FilePath, automated testing"
- "Chapter 11. Testing and quality assurance" of Real World Haskell; covers property-based testing using QuickCheck
