高リスクな機能を重点的にテストするために、モデルに付与する情報はどれか。

テスト対象システムだけでなく、外部システムやユーザーの振る舞いを記述したモデルを何と呼ぶか。