proptest

Rustのプロパティベーステストが単体テストでは見逃すバグを見つける

例ベースのテストは思いついた入力だけをカバーする。プロパティベースのテストはランダムデータを生成し、不変条件を検証し、失敗を最小の反例まで縮小する。