仕様・利用条件は変わることがあります。重要な判断は原典と実際の結果で再確認してください。
この手段について
- 目的
- Hypothesisで関数の成立条件を多様な入力で検査する
- 構成
- Hypothesis + Python
最短の利用経路
- 仕様から成立すべきpropertyと入力範囲を決める
- strategyとgivenで検査を記述する
- 失敗時の小さな反例を読む
必要条件
- 対応runtime・検査対象と検証環境
- 検査範囲と期待結果・副作用の許可を確認する
- 公式の利用開始案内でHypothesisの対応環境・導入方法・利用条件を確認し、検証用の環境へ用意します。
向く場面
Hypothesisで関数の成立条件を多様な入力で検査するという一つの目的を、この利用経路で短く試したい場面。
向かない場面
有限回の生成検査を全入力の証明と同一視する用途。
確認方法
生成範囲と反例を照合し、検査外の入力を区別します。