状態遷移モデルにおける「全状態カバレッジ」の意味はどれか。

全状態カバレッジはモデル内のすべてのノード（状態）を少なくとも1回は実行することを指す。