仕様・利用条件は変わることがあります。重要な判断は原典と実際の結果で再確認してください。
基本情報
- 種別
- property-based testingライブラリ
- どこから使うか
- Python library
使い始める
公式の利用開始案内でHypothesisの対応環境・導入方法・利用条件を確認し、検証用の環境へ用意します。
主な能力
- 入力生成
- property検査
- 反例縮小
必要条件
- 対応runtime・検査対象と検証環境
- 検査範囲と期待結果・副作用の許可を確認する
向く場面
Hypothesisで関数の成立条件を多様な入力で検査するなど、入力生成の利用経路を選びたい場面。
向かない場面
有限回の生成検査を全入力の証明と同一視する用途。