Property-Based Test - CI/CD用語集の定義

property-based testは、手で選んだ少数の例ではなく、生成された多数の入力にわたって性質が成り立つことを確認します。

property-based testとは、特定の例のケースを確認するのではなく、自動生成された多数の入力に対して一般的な性質が成り立つことを検証するテストです。フレームワークがケースを生成し、失敗を最小の反例まで縮小します。

QuickCheckやHypothesisといったツールは入力を生成し、失敗時にはそれを再現可能な最小のケースまで縮小します。これはCIのリグレッションカバレッジにおいて強力です。

関連ガイド