シュリンク(反例の縮小)

性質が成り立たない入力が見つかったとき、その入力をより小さな候補に置き換えながら、まだ失敗する最小の反例を探す処理。

概念URI

https://comcomponent.com/knowledge/shrinking/

別名・表記

Shrinking / 縮小

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• FsCheckはシュリンク(反例の縮小)を利用します。FsCheckは性質が成り立たない入力を見つけると、まだ失敗する最小の反例を探して縮め、元の入力と縮めた入力を報告する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典

この概念を扱う記事

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

一次資料

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

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