FsCheck

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

概念URI

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

別名・表記

FsCheck.Xunit

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

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

この概念を扱う記事

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

一次資料

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

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