HOMELv012 MBTで生成されたテストが不安定(Flaky)になる主な原因はどれか。 2026年3月13日 ネットワーク遅延や待機処理の不足により、モデル上の期待値と実機の状態が一時的に食い違うことで発生する。 モデリング言語の記号が持つ意味の厳密な定義を何と呼ぶか。 モデルの変更履歴をビジュアルに比較(Diff)する機能の利点はどれか。