プロパティベーステスト - CI/CD 用語集の定義

プロパティベーステストは、固定した例ではなく、生成された多数の入力にわたって不変条件を検証します。

プロパティベーステストは、少数の手作業で選んだ例ではなく、自動生成された多数の入力に対してプロパティが成り立つことを確認します。フレームワークがケースを生成し、失敗を最小の例に縮小します。

QuickCheck によって先駆けられたこのアプローチは、開発者が書こうと思いつかないエッジケースを見つけます。失敗時には、なお失敗する最小のケースまで入力を縮小します。

プロパティの例

ソート関数の場合、出力が順序付けられており、かつ入力の順列であることがプロパティです。フレームワークはそれを数千のランダムなリストに対してテストします。