HOMELv012 テスト生成時に特定の状態を「通過禁止」に設定する手法を何と呼ぶか。 2026年3月13日 生成条件（コンストレイント）を付与することで、特定のテストシナリオを除外したり絞り込んだりする。 「イベント発生から5秒以内に応答が必要」という仕様をモデル化するのに適した形式はどれか。 モデル内の変数の「定義（def）」から「使用（use）」までのパスを網羅する基準はどれか。
