HOMELv008 FMEA等の安全性分析結果をMBTに反映させる方法はどれか。 2026年3月13日 予測される故障モードをモデルに組み込むことで、異常系テストを体系的に生成できる。 仕様変更後の回帰テスト範囲を特定する最も効率的な方法はどれか。 通信プロトコルのテストにMBTが適している理由はどれか。