HOMELv002 テストケースが特定の要件を正しく満たしているかを確認する関係はどれか。 2026年3月17日 verify関係は、テストケースや検証手法が要件の充足性をチェックすることを示す。 ibdにおいて、2つのポート間を直接接続し通信経路を確立する要素はどれか。 状態の内部で継続的に実行される振る舞いを示すラベルはどれか。