HOMELv007 GUIの画面遷移をMBTでテストする際、状態として扱うべきものはどれか。 2026年3月13日 各画面を「状態」、ボタン押下などを「イベント(遷移)」として定義することでGUIテストを自動化できる。 複数の独立したモデルが共有リソースにアクセスする際の競合を検出する手法はどれか。 MBTが従来の手動設計よりも多くの不具合を見つける主な理由はどれか。