QuickCheck
QuickCheck| 개발자 | 코엔 클라센, 존 휴스 |
|---|---|
| 초기 릴리즈 | 1999; 전 ( |
| 안정적 해제 | 2.6 / 2013년 3월 7일; 전 |
| 기록 위치 | 하스켈 |
| 운영 체제 | Unix 유사, Windows |
| 다음에서 사용 가능 | 영어 |
| 유형 | 소프트웨어 테스트 |
| 면허증 | BSD 스타일 |
| 웹사이트 | www.cse.chalmers.se/ |
QuickCheck는 소프트웨어 라이브러리, 특히 콤비네이터 라이브러리로서, 원래 프로그래밍 언어인 Haskell로 작성되었으며, 테스트 제품군의 테스트 케이스를 생성하여 소프트웨어 테스트를 지원하도록 설계되었다.
소프트웨어
컴파일러인 글래스고 하스켈 컴파일러(GLC), 통역사인 하스켈 유저의 고퍼 시스템(Hugs)과 호환된다.BSD 방식의 라이센스로 출시된 무료 오픈소스 소프트웨어다.
QuickCheck에서는 함수가 충족해야 하는 논리적 속성에 대한 주장이 기록된다.그런 다음 QuickCheck는 그러한 주장을 변조하는 테스트 케이스를 생성하려고 시도한다.이러한 테스트 사례가 발견되면 QuickCheck는 테스트 실패를 만드는 데 필요하지 않은 입력 데이터를 제거하거나 단순화함으로써 테스트 실패 하위 집합으로 줄이려고 한다.
이 프로젝트는 1999년에 시작되었다.QuickCheck는 정규 프로그램을 테스트하는 데 사용되는 것 외에도 기능 규격을 작성하고, 어떤 기능을 수행해야 하는지 문서화하며, 컴파일러 구현을 테스트하는 데에도 유용하다.[1]
QuickCheck의 재실행은 다음과 같은 여러 언어로 존재한다.
- C[2][3][4]
- C++[5][6][7]
- 치킨[8]
- 클로저[9][10][11]
- 커먼 리스프[12]
- 콕[13]
- D[14]
- 엘름[15]
- 엘리시르[16][17]
- 얼랑[18]
- F#, 그리고 C#, Visual Basic.네트(VB).네트)[19]
- 요인[20]
- 가다[21]
- 이오[22]
- 자바[23][24][25][26][27][28][29]
- 자바스크립트.[30][31][32][33]
- 줄리아.[34]
- 로그토크[35]
- 루아[36]
- 매스매티카[37]
- 목표-C[38]
- OCAML[39]
- 펄[40]
- 서언, 머리말[41][42]
- PHP[43]
- 조랑말[44]
- 파이톤[45]
- R[46]
- 라켓[47]
- 루비[48]
- 녹[49][50]
- 스칼라[51][52][53]
- 계략[54]
- 스몰토크[55]
- 표준 ML[56]
- 스위프트[57]
- 타이프스크립트[58]
- 미디[59]
참고 항목
참조
- ^ "Data.Collections.Properties". hackage.haskell.org.
- ^ Pennebaker, Andrew (mcandre) (October 13, 2011). "qc". GitHub. Retrieved December 9, 2011.
- ^ Zito, Andrea (nivox) (July 27, 2014). "quickcheck4c". GitHub. Retrieved July 27, 2014.
- ^ Vokes, Scott (March 30, 2015). "Theft: property-based testing for C". GitHub. Retrieved November 16, 2015.
- ^ "QuickCheck". Software.legiasoft.com. Retrieved December 9, 2011.
- ^ "CppQuickCheck". GitHub. Retrieved March 30, 2015.
- ^ "RapidCheck". GitHub. Retrieved March 30, 2015.
- ^ Pennebaker, Andrew (mcandre). "cluckcheck". GitHub. Retrieved December 9, 2011.
- ^ Brandmeyer, Meikel (kotarak). "ClojureCheck". Bitbucket. Retrieved December 9, 2011.
- ^ Draper, Reid (reiddraper) (May 9, 2013). "simple-check". GitHub. Retrieved August 21, 2013.
- ^ Draper, Reid (reiddraper) (March 27, 2014). "org.clojure/test.check". GitHub. Retrieved March 27, 2014.
- ^ "cl-quickcheck". Cliki. Retrieved December 9, 2011.
- ^ "QuickChick". GitHub. Retrieved August 26, 2019.
- ^ Pennebaker, Andrew (mcandre) (October 27, 2011). "dashcheck". GitHub. Retrieved December 9, 2011.
- ^ "elm-explorations/test". GitHub. Retrieved November 20, 2018.
- ^ Thomas, Dave (pragdave) (July 17, 2017). "quixir: Property-based testing for Elixir". GitHub. Retrieved April 1, 2019.
- ^ Alfert, Klaus. "propcheck: Property based testing for Elixir". GitHub. Retrieved February 1, 2021.
- ^ "PropEr: a QuickCheck-inspired property-based testing tool for Erlang". GitHub. Retrieved May 8, 2019.
- ^ "FsCheck". GitHub. June 25, 2015. Retrieved June 25, 2011.
- ^ Pennebaker, Andrew (mcandre) (October 13, 2011). "factcheck". GitHub. Retrieved December 9, 2011.
- ^ leanovate (April 26, 2016). "Gopter". Retrieved April 26, 2016.
- ^ Pennebaker, Andrew (mcandre) (October 17, 2011). "IoCheck". GitHub. Retrieved December 9, 2011.
- ^ "FunctionalJava's QuickCheck module". FunctionalJava. Retrieved August 14, 2015.
- ^ "Quickcheck for Java". Quickcheck.dev.java.net. Retrieved December 9, 2011.
- ^ "JCheck". JCheck. Retrieved December 9, 2011.
- ^ "junit-quickcheck". junit-quickcheck. Retrieved July 3, 2013.
- ^ "jqwik for the JUnit5 Platform". jqwik. Retrieved June 19, 2017.
- ^ "Quick Theories property testing for Java 8". ncredinburgh. Retrieved October 30, 2017.
- ^ "jetCheck property-based testing for Java 8". JetBrains. Retrieved July 10, 2018.
- ^ Thompson, Darrin (darrint). "qc.js". Bitbucket. Retrieved December 9, 2011.
- ^ Crockford, Douglas. "jscheck". GitHub. Retrieved October 21, 2017.
- ^ Dubien, Nicolas (dubzzz). "fast-check". GitHub. Retrieved February 3, 2018.
- ^ "JSVerify — property based testing for JavaScript. Like QuickCheck". jsverify.github.io.
- ^ "Checkers.jl". Retrieved April 8, 2018.
- ^ "lgtunit". Retrieved February 26, 2020.
- ^ "lua-quickcheck". GitHub. Retrieved February 25, 2017.
- ^ "QuickCheck.wl — Automated Property-Based Testing for the Wolfram Language - Online Technical Discussion Groups—Wolfram Community". community.wolfram.com. Retrieved July 11, 2021.
- ^ Pennebaker, Andrew (mcandre). "objcheck". GitHub. Retrieved December 9, 2011.
- ^ Sokolov, Roma (little-arhat). "ocaml-quickcheck". GitHub. Retrieved December 9, 2011.
- ^ "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/.
{{cite web}}:외부 링크 위치quote= - ^ "library(quickcheck)".
- ^ 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.
- ^ Oestreicher, Stefan (steos). "PhpQuickCheck". GitHub. Retrieved November 12, 2015.
- ^ Wahl, Matthias (mfelsche). "ponycheck". GitHub. Retrieved December 26, 2018.
- ^ MacIver, David (April 26, 2016). "Hypothesis". Retrieved April 26, 2016.
- ^ "quickcheck: Randomized testing for R". GitHub. September 11, 2017.
- ^ "Quickcheck". docs.racket-lang.org.
- ^ Pennebaker, Andrew (mcandre) (September 14, 2017). "Rubycheck: a Ruby port of the QuickCheck unit test framework". GitHub.
- ^ Gallant, Andrew (BurntSushi). "QuickCheck for Rust (with shrinking)". GitHub. Retrieved May 27, 2015.
- ^ "Hypothesis-like property testing for Rust".
- ^ "ScalaCheck". Retrieved June 30, 2016.
- ^ "scalaprops/scalaprops". GitHub. Retrieved June 30, 2016.
- ^ "nyaya". GitHub. Retrieved June 30, 2016.
- ^ "Scheme-Check: Randomized Unit Testing for PLT Scheme". Archived from the original on December 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.
- ^ Pennebaker, Andrew (mcandre). "QuickSmash". GitHub. Retrieved December 9, 2011.
- ^ "QCheck/SML". Contrapunctus. November 22, 2011. Retrieved December 9, 2011.
- ^ "SwiftCheck: QuickCheck for Swift". GitHub. November 3, 2017.
- ^ Dubien, Nicolas (dubzzz). "fast-check". GitHub. Retrieved February 3, 2018.
- ^ Chin, Janice. "QuickCheck for Whiley" (PDF). Retrieved April 20, 2020.
추가 읽기
- Claessen, Koen; Hughes, John (2002). "Testing Monadic Programs with QuickCheck" (PostScript). SIGPLAN Notices. 37 (12): 47–59. CiteSeerX 10.1.1.111.1618. doi:10.1145/636517.636527. Retrieved January 29, 2006.
- Claessen, Koen & Hughes, John (2000). "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs" (PDF). Proceedings of the International Conference on Functional Programming (ICFP), ACM SIGPLAN. Retrieved January 29, 2006.
- Claessen, Koen & Hughes, John (2003). "Specification Based Testing with QuickCheck". The Fun of Programming, Cornerstones of Computing, Jeremy Gibbons and Oege de Moor (Eds.). Palgrave: 17–40. Archived from the original on July 4, 2007. Retrieved January 29, 2006.
- Claessen, Koen (August 2004). "QuickCheck: Specification-based Random Testing". Presentation at Summer Institute on Trends in Testing: Theory, Techniques and Tools. Archived from the original (PPT) on April 30, 2007. Retrieved January 29, 2006.
- Claessen, Koen; Runciman, Colin; Chitil, Olaf & Hughes, John (2002). "Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat". Advanced Functional Programming: 4th International School, Lecture Notes in Computer Science. Springer Verlag. 2638: 59–99. Archived from the original (PostScript) on October 12, 2006. Retrieved January 29, 2006.
 | Wikibooks에는 다음과 같은 주제의 책이 있다.하스켈/테스트 |
