QuickCheck

Koen ClaessenとJohn Hughesが2000年の論文で示したHaskell向けのテストツール。関数の性質を書き、ランダムに作った入力で自動的に確かめる。

概念URI

https://comcomponent.com/knowledge/quickcheck/

別名・表記

Haskell QuickCheck

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• QuickCheckはプロパティベーステストの実装を担います。QuickCheckの論文は、関数の性質を書き、ランダムな入力で自動的に確かめる道具としてQuickCheckを説明している。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典

この概念を扱う記事

• プロパティベーステストで、例では届かない入力を試す ── FsCheckとxUnitによるC#の実践(言及)

一次資料

• https://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。