プロパティベーステスト

入力と期待値の組を並べる代わりに、どの入力でも成り立つはずの性質(プロパティ)を書き、その性質をツールが自動で作った多数の入力で確かめるテストの方法。

概念URI

https://comcomponent.com/knowledge/property-based-testing/

別名・表記

Property-Based Testing / PBT

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• プロパティベーステストはテストオラクルを利用します。プロパティベーステストは個々の期待値の代わりに、どの入力でも成り立つべき性質を判定基準(テストオラクル)として使い、生成した多数の入力で確かめる。性質は実装の計算を写さずに書ける。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• FsCheckはプロパティベーステストの実装を担います。FsCheckは、プログラムが満たす性質を書き、ランダムに作った多数の入力でその性質が成り立つかを確かめる.NET向けのツールである。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• QuickCheckはプロパティベーステストの実装を担います。QuickCheckの論文は、関数の性質を書き、ランダムな入力で自動的に確かめる道具としてQuickCheckを説明している。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• プロパティベーステストはテストオラクルを前提とします。テストには合否を自動で判定する基準が要り、QuickCheckはその基準として書いた性質を使う。性質が弱ければ誤りがあっても通るので、どの性質を書くかがテストの強さを決める。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典

この概念を扱う記事

• AIが書いたテストを信用してよいか ── 通るのに何も確かめないテストの見分け方(言及)
• プロパティベーステストで、例では届かない入力を試す ── FsCheckとxUnitによるC#の実践(主要トピック)

一次資料

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

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