プロパティベーステスト(Property-based Testing)の特徴はどれか。

個別の値ではなく「いかなる入力でも合計値は正になる」等の普遍的な性質を検証する高度な手法である。