QuickCheck

From Wikipedia, the free encyclopedia

Template:Short description Script error: No such module "For". Template:DMCA

Page Module:Infobox/styles.css has no content.

QuickCheck
[[Programmer|DeveloperTemplate:Pluralize from text]]Koen Claessen, John Hughes
Initial release1999; 27 years ago (1999)
Template:Infobox software/simple
Written inHaskell
EnginePage Template:Plainlist/styles.css has no content.
Template:EditAtWikidata
Operating systemUnix-like, Windows
Available inEnglish
TypeSoftware testing
LicenseBSD-style
Websitewww.cse.chalmers.se/~rjmh/QuickCheck
Repositorygithub.com/nick8325/quickcheck

Script error: No such module "Check for conflicting parameters".

QuickCheck is a software library, 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 many languages:

Page Template:Div col/styles.css has no content.

See also

References

Page Template:Reflist/styles.css has no content.

  1. ^ Page Module:Citation/CS1/styles.css has no content."Data.Collections.Properties". hackage.haskell.org.
  2. ^ Page Module:Citation/CS1/styles.css has no content.Pennebaker, Andrew (mcandre) (October 13, 2011). "qc". GitHub. Retrieved December 9, 2011.
  3. ^ Page Module:Citation/CS1/styles.css has no content.Zito, Andrea (nivox) (July 27, 2014). "quickcheck4c". GitHub. Retrieved July 27, 2014.
  4. ^ Page Module:Citation/CS1/styles.css has no content.Vokes, Scott (March 30, 2015). "Theft: property-based testing for C". GitHub. Retrieved November 16, 2015.
  5. ^ Page Module:Citation/CS1/styles.css has no content."QuickCheck". Software.legiasoft.com. Retrieved December 9, 2011.
  6. ^ Page Module:Citation/CS1/styles.css has no content."CppQuickCheck". GitHub. Retrieved March 30, 2015.
  7. ^ Page Module:Citation/CS1/styles.css has no content."RapidCheck". GitHub. Retrieved March 30, 2015.
  8. ^ Page Module:Citation/CS1/styles.css has no content.Pennebaker, Andrew (mcandre). "cluckcheck". GitHub. Retrieved December 9, 2011.
  9. ^ Page Module:Citation/CS1/styles.css has no content.Draper, Reid (reiddraper) (May 9, 2013). "simple-check". GitHub. Retrieved August 21, 2013.
  10. ^ Page Module:Citation/CS1/styles.css has no content.Draper, Reid (reiddraper) (March 27, 2014). "org.clojure/test.check". GitHub. Retrieved March 27, 2014.
  11. ^ Page Module:Citation/CS1/styles.css has no content."cl-quickcheck". Cliki. Retrieved December 9, 2011.
  12. ^ Page Module:Citation/CS1/styles.css has no content.Pennebaker, Andrew (mcandre) (October 27, 2011). "dashcheck". GitHub. Retrieved December 9, 2011.
  13. ^ Page Module:Citation/CS1/styles.css has no content."elm-explorations/test". GitHub. Retrieved November 20, 2018.
  14. ^ Page Module:Citation/CS1/styles.css has no content.Thomas, Dave (pragdave) (July 17, 2017). "quixir: Property-based testing for Elixir". GitHub. Retrieved April 1, 2019.
  15. ^ Page Module:Citation/CS1/styles.css has no content.Alfert, Klaus. "propcheck: Property based testing for Elixir". GitHub. Retrieved February 1, 2021.
  16. ^ Page Module:Citation/CS1/styles.css has no content."PropEr: a QuickCheck-inspired property-based testing tool for Erlang". GitHub. Retrieved May 8, 2019.
  17. ^ Page Module:Citation/CS1/styles.css has no content."FsCheck". GitHub. June 25, 2015. Retrieved June 25, 2011.
  18. ^ Page Module:Citation/CS1/styles.css has no content.Pennebaker, Andrew (mcandre) (October 13, 2011). "factcheck". GitHub. Retrieved December 9, 2011.
  19. ^ Page Module:Citation/CS1/styles.css has no content.leanovate (April 26, 2016). "Gopter". GitHub. Retrieved April 26, 2016.
  20. ^ Page Module:Citation/CS1/styles.css has no content.Pennebaker, Andrew (mcandre) (October 17, 2011). "IoCheck". GitHub. Retrieved December 9, 2011.
  21. ^ Page Module:Citation/CS1/styles.css has no content."FunctionalJava's QuickCheck module". FunctionalJava. Retrieved August 14, 2015.
  22. ^ Page Module:Citation/CS1/styles.css has no content."Quickcheck for Java". Quickcheck.dev.java.net. Archived from the original on November 17, 2011. Retrieved December 9, 2011.
  23. ^ Page Module:Citation/CS1/styles.css has no content."JCheck". JCheck. Retrieved December 9, 2011.
  24. ^ Page Module:Citation/CS1/styles.css has no content."junit-quickcheck". junit-quickcheck. Retrieved July 3, 2013.
  25. ^ Page Module:Citation/CS1/styles.css has no content."jqwik for the JUnit5 Platform". jqwik. Retrieved June 19, 2017.
  26. ^ Page Module:Citation/CS1/styles.css has no content."Quick Theories property testing for Java 8". ncredinburgh. Retrieved October 30, 2017.
  27. ^ Page Module:Citation/CS1/styles.css has no content."jetCheck property-based testing for Java 8". JetBrains. Retrieved July 10, 2018.
  28. ^ Page Module:Citation/CS1/styles.css has no content.Thompson, Darrin (darrint). "qc.js". Bitbucket. Archived from the original on August 7, 2011. Retrieved December 9, 2011.
  29. ^ Page Module:Citation/CS1/styles.css has no content.Crockford, Douglas. "jscheck". GitHub. Retrieved October 21, 2017.
  30. ^ Page Module:Citation/CS1/styles.css has no content.Dubien, Nicolas (dubzzz). "fast-check". GitHub. Retrieved February 3, 2018.
  31. ^ Page Module:Citation/CS1/styles.css has no content."JSVerify — property based testing for JavaScript. Like QuickCheck". jsverify.github.io.
  32. ^ Page Module:Citation/CS1/styles.css has no content."Checkers.jl". GitHub. Retrieved April 8, 2018.
  33. ^ Page Module:Citation/CS1/styles.css has no content."lgtunit". Retrieved February 26, 2020.
  34. ^ Page Module:Citation/CS1/styles.css has no content."lua-quickcheck". GitHub. Retrieved February 25, 2017.
  35. ^ Page Module:Citation/CS1/styles.css has no content."QuickCheck.wl — Automated Property-Based Testing for the Wolfram Language - Online Technical Discussion Groups—Wolfram Community". community.wolfram.com. Retrieved July 11, 2021.
  36. ^ Page Module:Citation/CS1/styles.css has no content.Pennebaker, Andrew (mcandre). "objcheck". GitHub. Retrieved December 9, 2011.
  37. ^ Page Module:Citation/CS1/styles.css has no content.Cruanes, Simon. "QuickCheck inspired property-based testing for OCaml". GitHub. Retrieved September 1, 2022.
  38. ^ Page Module:Citation/CS1/styles.css has no content."Test: LectroTest: Tutorial". The LectroTest project was inspired by Haskell's QuickCheck module by Koen Claessen and John Hughes
  39. ^ Page Module:Citation/CS1/styles.css has no content."library(quickcheck)".
  40. ^ Page Module:Citation/CS1/styles.css has no content.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. Vol. 8475. pp. 1–17. doi:10.1007/978-3-319-07151-0_1. ISBN 978-3-319-07150-3.
  41. ^ Page Module:Citation/CS1/styles.css has no content.Oestreicher, Stefan (steos). "PhpQuickCheck". GitHub. Retrieved November 12, 2015.
  42. ^ Page Module:Citation/CS1/styles.css has no content.Wahl, Matthias (mfelsche). "ponycheck". GitHub. Retrieved December 26, 2018.
  43. ^ Page Module:Citation/CS1/styles.css has no content.MacIver, David (April 16, 2016). "QuickCheck in Every Language". Retrieved August 1, 2022.
  44. ^ Page Module:Citation/CS1/styles.css has no content."quickcheck: Property Based Testing in R". GitHub. March 17, 2022.
  45. ^ Page Module:Citation/CS1/styles.css has no content."Quickcheck". docs.racket-lang.org.
  46. ^ Page Module:Citation/CS1/styles.css has no content."QuickChick". GitHub. Retrieved August 26, 2019.
  47. ^ Page Module:Citation/CS1/styles.css has no content.Pennebaker, Andrew (mcandre) (September 14, 2017). "Rubycheck: a Ruby port of the QuickCheck unit test framework". GitHub.
  48. ^ Page Module:Citation/CS1/styles.css has no content.Gallant, Andrew (BurntSushi). "QuickCheck for Rust (with shrinking)". GitHub. Retrieved May 27, 2015.
  49. ^ Page Module:Citation/CS1/styles.css has no content."Hypothesis-like property testing for Rust". GitHub.
  50. ^ Page Module:Citation/CS1/styles.css has no content."ScalaCheck". GitHub. Retrieved June 30, 2016.
  51. ^ Page Module:Citation/CS1/styles.css has no content."scalaprops/scalaprops". GitHub. Retrieved June 30, 2016.
  52. ^ Page Module:Citation/CS1/styles.css has no content."nyaya". GitHub. Retrieved June 30, 2016.
  53. ^ Page Module:Citation/CS1/styles.css has no content."Scheme-Check: Randomized Unit Testing for PLT Scheme". Archived from the original on February 12, 2005. 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. ^ Page Module:Citation/CS1/styles.css has no content.Mejr, Antero. "SRFI 252: Property Testing". Scheme Requests for Implementation. Retrieved April 25, 2024.
  55. ^ Page Module:Citation/CS1/styles.css has no content.Pennebaker, Andrew (mcandre). "QuickSmash". GitHub. Retrieved December 9, 2011.
  56. ^ Page Module:Citation/CS1/styles.css has no content."QCheck/SML". Contrapunctus. November 22, 2011. Retrieved December 9, 2011.
  57. ^ Page Module:Citation/CS1/styles.css has no content."SwiftCheck: QuickCheck for Swift". GitHub. November 3, 2017.
  58. ^ Page Module:Citation/CS1/styles.css has no content.Dubien, Nicolas (dubzzz). "fast-check". GitHub. Retrieved February 3, 2018.
  59. ^ Page Module:Citation/CS1/styles.css has no content.Chin, Janice. "QuickCheck for Whiley" (PDF). Retrieved April 20, 2020.[permanent dead link]

Further reading

Page Template:Refbegin/styles.css has no content.

Page Module:Side box/styles.css has no content.Page Template:Sister project/styles.css has no content.

Page Template:Plainlist/styles.css has no content.
Script error: No such module "Sister project logo".
Wikibooks has a book on the topic of: Haskell/Testing

Template:Haskell programming

Retrieved from "http://cosmopedia.co/index.php?title=QuickCheck&oldid=3431873"