Arbitrary(FsCheck)

FsCheckで、ある型の値を作る生成器と、その値を縮める手順(shrinker)をまとめたもの。縮める手順を指定しない場合、その型の値は縮小されない。

概念URI

https://comcomponent.com/knowledge/fscheck-arbitrary/

別名・表記

Arbitrary<T> / Arbitrary instance

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• FsCheckはArbitrary(FsCheck)を利用します。FsCheckは型ごとのArbitraryで入力を作って縮める。独自のArbitraryは[Property]属性のArbitraryに型を渡してテストメソッドごとに使える。生成器だけから作ったArbitraryは縮める手順を持たないので、その値は縮小されない。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典

この概念を扱う記事

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

一次資料

• https://fscheck.github.io/FsCheck/TestData.html

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