複雑な条件の組み合わせと、それに対応する動作を網羅的に整理する手法はどれか。

決定表は、論理的な条件の組み合わせに漏れや矛盾がないかを検証するのに非常に有効である。