「状態遷移図」からテストケースを作成する際、必ず通るべき最小の網羅基準はどれか。

全ての状態と、状態間の遷移を検証することが基本的な網羅の第一歩となる。