「状態遷移図」からテストケースを作成する際、最低限「すべての状態を1回は通る」基準を何と呼ぶか。

状態網羅は、定義されたすべての状態を少なくとも1回は実行する網羅基準である。