複雑な論理条件の組み合わせをテストするためのモデルはどれか。

最短経路で全状態をカバーするために使われる一般的なアルゴリズムはどれか。