|
QuickCheck is a combinator library originally 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.〔http://hackage.haskell.org/packages/archive/collections-api/1.0.0.0/doc/html/Data-Collections-Properties.html〕 Re-implementations of QuickCheck exist for C, C++,〔(【引用サイトリンク】title=QuickCheck )〕〔(【引用サイトリンク】title=CppQuickCheck )〕〔(【引用サイトリンク】title=RapidCheck )〕 Chicken Scheme, Clojure, Common Lisp,〔(【引用サイトリンク】title=cl-quickcheck )〕 D, Elm, 〔(【引用サイトリンク】title=elm-check )〕 Erlang, F# (and C#, VB.NET) , Factor, Io, Java,〔(【引用サイトリンク】title=FunctionalJava's QuickCheck module )〕〔(【引用サイトリンク】title=Quickcheck for Java )〕〔(【引用サイトリンク】title=JCheck )〕〔(【引用サイトリンク】title=junit-quickcheck )〕 JavaScript, Node.js,〔(Node.js node-quickcheck )〕 Objective-C, OCaml, Perl,〔(【引用サイトリンク】title=Test::LectroTest::Tutorial )〕 Prolog, PHP, Python, R,〔https://github.com/RevolutionAnalytics/quickcheck〕 Ruby,〔https://github.com/mcandre/rubycheck〕 Rust, Scala,〔(【引用サイトリンク】title=ScalaCheck )〕 Scheme,〔"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" () -(Internet Archive copy).〕 Smalltalk, Standard ML and Swift.〔https://github.com/typelift/SwiftCheck〕 ==See also== * SPIN model checker 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「QuickCheck」の詳細全文を読む スポンサード リンク
|