Matches in DBpedia 2015-10 for { ?s ?p "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.Re-implementations of QuickCheck exist for C,C++,Chicken Scheme,Clojure,Common Lisp,D,Elm, Erlang,F#,Factor,Io,Java,JavaScript,Node.js,Objective-C,OCaml,Perl,Prolog,Python,R,Ruby,Rust,Scala,Scheme,Smalltalk,Standard ML and Swift."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- QuickCheck abstract "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.Re-implementations of QuickCheck exist for C,C++,Chicken Scheme,Clojure,Common Lisp,D,Elm, Erlang,F#,Factor,Io,Java,JavaScript,Node.js,Objective-C,OCaml,Perl,Prolog,Python,R,Ruby,Rust,Scala,Scheme,Smalltalk,Standard ML and Swift.".