はじめに

前回の記事でカバレッジの測定方法を紹介しました。

今回は「C0・C1・C2って何が違うの？」という疑問をわかりやすく整理します。

1. C0・C1・C2の概要

カバレッジには「何を網羅したとみなすか」によって種類があります。

種類	別名	網羅の対象	一言で言うと
C0	命令網羅（Statement Coverage）	全ての行（命令）が実行されたか	「全行通ったか」
C1	分岐網羅（Branch Coverage）	全ての分岐の真偽が実行されたか	「ifのTrueもFalseも通ったか」
C2	条件網羅（Condition Coverage）	全ての条件式の組み合わせが実行されたか	「条件の全パターン通ったか」

2. 図で理解するC0・C1・C2の違い

次のコードで考えます。

def check(a, b):
    if a > 0 and b > 0:   # ← ここが条件分岐
        return "両方正"
    return "どちらか0以下"

C0（行カバレッジ）の考え方

テストケース: a=1, b=1 → "両方正" を通る

実行された行: 1行目(if)、2行目(return "両方正")  ← 3行目は通っていない
C0達成: NO（3行目が未通過）

テストケース追加: a=-1, b=1 → "どちらか0以下" を通る

C0達成: YES（全行通過）

C1（分岐カバレッジ）の考え方

if文には「Trueのとき」と「Falseのとき」の2分岐がある

テストケース: a=1, b=1  → if が True  → "両方正"
テストケース: a=-1, b=1 → if が False → "どちらか0以下"

C1達成: YES（True・Falseどちらの分岐も通過）

C0は通過したがC1は未達、という状況が起こります。

def check(a, b):
    result = "OK"
    if a < 0:
        result = "NG"   # C0はここを通過すれば満たせる
    return result       # C1はif=True・if=Falseの両方が必要

C2（条件網羅）の考え方

and や or で複数条件が結合されている場合、C1だけでは不十分なケースがあります。

if a > 0 and b > 0:

テストケース	a > 0	b > 0	結果
a=1, b=1	True	True	True
a=-1, b=1	False	True	False
a=1, b=-1	True	False	False
a=-1, b=-1	False	False	False

C2はこの4パターン全てを網羅することを求めます。b > 0 が単独でFalseになるケース（3行目）は、C1だけでは見逃す可能性があります。

3. 使い分けの目安

レベル	目安の場面
C0（行カバレッジ）	まず最初に目指すベースライン。「全行は通った」の確認
C1（分岐カバレッジ）	業務システムやライブラリの標準的な品質目標。pytestの`--branch`オプションで計測可能
C2（条件網羅）	金融・医療・安全系など高い信頼性が求められる場面。テスト数が爆発しやすい

実務では C1を基本目標 とするプロジェクトが多いです。C2は複雑な条件式が多いコードでは組み合わせ数が膨大になるため、重要な箇所に絞って適用するのが現実的です。

4. pytestでC1（分岐カバレッジ）を測定する

pytest --cov=src --cov-branch --cov-report=term-missing

--cov-branch を追加するだけでC1（分岐カバレッジ）も合わせて測定されます。

Name      Stmts   Miss Branch BrPart  Cover   Missing
------------------------------------------------------
calc.py       6      0      4      1    88%   5->exit

列	意味
Branch	全分岐数
BrPart	片側しか通っていない分岐数
5->exit	5行目からexitへの分岐が未通過

HTMLレポートでも黄色で部分的にしか通っていない分岐が表示されます。

pytest --cov=src --cov-branch --cov-report=html

まとめ

種類	網羅対象	使い分け
C0	全行が実行されたか	最初のベースライン確認
C1	ifのTrue/False両方を通ったか	業務システムの標準目標
C2	条件式の全組み合わせを通ったか	高信頼性が必要な箇所に限定

pytestで測定するには --cov-branch を追加するだけでC1まで確認できます。

さいごに

「カバレッジ100%＝バグゼロ」ではありません。

C0・C1・C2は、あくまで「どれだけ通ったか」の指標です。テストの中身（assertの質）と組み合わせて初めて意味を持ちます。