HOMELv002 MBTの導入を阻害する要因として一般的なものはどれか。 2026年3月13日 モデル作成には対象ドメインとモデリング技術の両方に関する高度な知識が求められる。 MBTで広く利用される標準的な表記法はどれか。 MBTで生成されたテストケースを実行する際の特徴はどれか。