ただの全数テストならぬ
全パターンテストを盲目的に踏襲するなら
「基本設計」をベースにすれば事足りる。

でもそれだとMECEじゃない。

必要十分＋最低限のパターンを洗い出すなら
そこに「詳細設計」のエッセンスが必要になる。

そうすればソフトウェア領域のテストなら網羅できる。