QuickCheck
QuickCheck（クイックチェック）は、テストスイート用のテストケースを生成してソフトウェアテストを行うための、Haskellで書かれたコンビネータライブラリである。GHCコンパイラとHugsインタプリタに対応している。

QuickCheckではプログラマは関数が満たすべき論理的性質をアサーションとして書く。テストは関数の引数の型が取り得る値をランダムに関数に与えることで、アサーションが失敗する条件を探そうと試みる。プロジェクトは2000年に始まった。QuickCheckは通常のプログラムのテストに加え、関数仕様の策定、関数がするべき挙動をドキュメントとして示す、コンパイラの実装をテストする、といったことにも有用である。

QuickCheckの実装はHaskell以外にも多数の言語に移植されている（C, C++, Chicken Scheme, Clojure, Common Lisp, D, Erlang, F#, Factor, Io, Java, JavaScript, Node.js, Objective C, OCaml, Perl, Python, Ruby, Scala, Scheme, Smalltalk, Standard ML）。
Q188522
ソフトウェアテスト
Concept
Q34010
Haskell
MEDIA
None
コンビネータライブラリ
UNK
Q407091
GHC
UNK
Q47506
コンパイラ
Concept
None
Hugs
UNK
Q183065
インタプリタ
Concept
Q1985
2000年
TIME
Q190686
関数
Concept
Q15777
C
Concept
Q187560
Scheme
Concept
Q51798
Clojure
MEDIA
Q132874
Lisp
Concept
Q9884
D
Concept
Q334879
Erlang
MEDIA
Q1391724
Factor
MEDIA
Q756175
Io
MEDIA
Q251
Java
Concept
Q2005
JavaScript
MEDIA
Q756100
Node.js
Concept
Q188531
Objective C
MEDIA
Q212587
OCaml
MEDIA
Q42478
Perl
Concept
Q28865
Python
MEDIA
Q161053
Ruby
MEDIA
Q460584
Scala
MEDIA
Q187560
Scheme
Concept
Q235086
Smalltalk
MEDIA
Q597330
Standard ML
MEDIA
Q2886113
QuickCheck
ORG
Q2886113
QuickCheck
ORG
Q2886113
QuickCheck
ORG
Q2886113
QuickCheck
ORG
20-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2000年
DATE
use
programming language
influenced by
programming language
programming language
influenced by
influenced by
influenced by
influenced by
influenced by
influenced by
use
programming language
use
programming language
use
programming language