ホワイトボックステストにおける命令網羅の説明はどれか。

命令網羅（C0）は、プログラム内のすべての実行可能な命令を少なくとも1回実行することを指す。