要求の妥当性をテストケースなどで検証することを示す関係はどれか。

パラメトリック図において値プロパティと制約パラメータを結ぶ線はどれか。