プロパティベーステスト とは？

普通のテスト（例ベーステスト）は「sort([3,1,2])が[1,2,3]になる」みたいに具体例で確認するよね。プロパティベーステストは「どんな配列をソートしても、結果は昇順になる」「要素数は変わらない」という性質を定義して、大量のランダム配列で検証するんだ。

1回のテスト実行で100〜1000個のランダムデータを生成するから、人間が思いつかないエッジケースを発見できるんだ。空配列、巨大な数値、負の数、特殊文字…手動では書ききれないケースをカバーできるよ。

ここが賢いところで、「シュリンク」という機能が動くんだ。失敗した入力データを少しずつ小さくして、性質が破れる最小の反例を見つけてくれる。「1000要素の配列で失敗」→「実は[0, -1]の2要素で再現する」みたいに絞り込んでくれるよ。

代表的なパターンがあるよ。「往復テスト」はエンコード→デコードで元に戻ること。「冪等性」は同じ操作を2回やっても結果が変わらないこと。「モデルベース」は単純な参照実装と同じ結果になること。これらをテンプレートとして使うと書きやすいんだ。

fast-checkというライブラリが有名だよ。JestやVitestと組み合わせて使える。Pythonならhypothesis、RustならpropTestがある。どの言語でもだいたいプロパティベーステストのライブラリがあるから、すぐに始められるよ。

両方使うのがベストだよ。例ベーステストはドキュメントとしてわかりやすいし、ビジネスロジックの具体的な振る舞いを確認するのに向いている。プロパティベーステストは網羅性を高めるのに向いている。組み合わせることでテストの信頼性が格段に上がるんだ。