プログラムをテストするときに、テストの充分性を示す指標として、C0とかC1とかのカバレッジ（コードカバレッジ）がよく使われます。 C0やC1は、実行されたことがない順次処理や、分岐したことがない分岐処理が、プログラム中に残っていないか計測するための…