HOMELv005 仕様変更に伴いモデルを修正する際、影響範囲を特定する手法はどれか。 2026年3月13日 変更箇所がモデルの他の部分や生成済みのテストにどう影響するかを分析する必要がある。 最短経路で全状態をカバーするために使われる一般的なアルゴリズムはどれか。 複数の状態マシンが同時に動作するシステムのモデル化で重要な概念はどれか。