知識マップ: プロパティベーステストで、例では届かない入力を試す ── FsCheckとxUnitによるC#の実践

記事「プロパティベーステストで、例では届かない入力を試す ── FsCheckとxUnitによるC#の実践」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

プロパティベーステストは、どの入力でも成り立つはずの性質を書き、ツールが作った多数の入力で確かめる。書いた性質が結果の合否を自動で判定するテストオラクルの役目を担う。QuickCheckとFsCheckはこの方法を実装する道具で、FsCheckは失敗した入力を縮めて最小の反例を報告する。値を作る生成器と縮める手順は、FsCheckではArbitraryにまとめられる。

flowchart LR
    accTitle: プロパティベーステストとFsCheckの知識マップ
    accDescr: FsCheckとQuickCheckがプロパティベーステストを実装し、プロパティベーステストがテストオラクルを前提とし、FsCheckが反例のシュリンクとArbitraryを利用することを示します。
    property_based_testing["プロパティベーステスト"]
    fscheck["FsCheck"]
    quickcheck["QuickCheck"]
    test_oracle["テストオラクル"]
    shrinking["シュリンク(反例の縮小)"]
    fscheck_arbitrary["Arbitrary(FsCheck)"]
    fscheck -->|"実装を担う"| property_based_testing
    quickcheck -->|"実装を担う"| property_based_testing
    property_based_testing -->|"前提とする"| test_oracle
    fscheck -->|"利用する"| shrinking
    fscheck -->|"利用する"| fscheck_arbitrary

概念間の関係(全5件)

図と同じ関係を文章でも列挙します。表示している文と機械可読な意味データ(RDFa)は同じ要素に載っています。確度が「確立した関係」のものは直接の関係として、「条件付きの関係」のものは成立条件つきの言明(rdf:Statement)として表現しています。

• FsCheckはプロパティベーステストの実装を担います。FsCheckは、プログラムが満たす性質を書き、ランダムに作った多数の入力でその性質が成り立つかを確かめる.NET向けのツールである。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• QuickCheckはプロパティベーステストの実装を担います。QuickCheckの論文は、関数の性質を書き、ランダムな入力で自動的に確かめる道具としてQuickCheckを説明している。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• プロパティベーステストはテストオラクルを前提とします。テストには合否を自動で判定する基準が要り、QuickCheckはその基準として書いた性質を使う。性質が弱ければ誤りがあっても通るので、どの性質を書くかがテストの強さを決める。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• FsCheckはシュリンク(反例の縮小)を利用します。FsCheckは性質が成り立たない入力を見つけると、まだ失敗する最小の反例を探して縮め、元の入力と縮めた入力を報告する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• FsCheckはArbitrary(FsCheck)を利用します。FsCheckは型ごとのArbitraryで入力を作って縮める。独自のArbitraryは[Property]属性のArbitraryに型を渡してテストメソッドごとに使える。生成器だけから作ったArbitraryは縮める手順を持たないので、その値は縮小されない。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典

主要概念の定義

プロパティベーステスト

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

FsCheck

.NET向けのプロパティベーステストのライブラリ。F#・C#・VBで書いた性質を、ランダムに作った多数の入力で確かめ、失敗したときは最小の反例を表示する。xUnit向けの統合パッケージとしてFsCheck.XunitとFsCheck.Xunit.v3がある。

QuickCheck

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

機械可読データ

• JSON-LD / Turtle ── この記事の知識グラフ全体
• 概念一覧 / 語彙(述語)の定義

このデータセットについて

作成

合同会社小村ソフト

ライセンス

CC BY 4.0 ── 出典(合同会社小村ソフト)とライセンスへのリンクを明示し、改変した場合はその旨を示すことを条件に、再配布・改変を含めて再利用できます

最終確認日

2026-11-01 ── 収録する関係のうち、最後に出典と照合した日

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