HOMELv004 MBTツールとテスト管理ツールの連携で得られるメリットはどれか。 2026年3月13日 要求、モデル、テストケース、実行結果の間の相互関係(トレーサビリティ)を自動で維持できる。 大規模なシステムをモデル化する際に有効な手法はどれか。 MBTモデル内で変数の値を変更する記述を何と呼ぶか。