HOMELv005 最短経路で全状態をカバーするために使われる一般的なアルゴリズムはどれか。 2026年3月13日 ダイクストラ法などの最短パスアルゴリズムを使用して、効率的なテストスイートを生成する。 複雑な論理条件の組み合わせをテストするためのモデルはどれか。 仕様変更に伴いモデルを修正する際、影響範囲を特定する手法はどれか。