MC/DC網羅において、N個の独立した原子条件を持つ判定式に必要な最小テストケース数はいくつか。

MC/DCは各条件の独立性を示すために、条件数Nに対して最小N+1個のテストケースで達成可能である。