C1/C1/C2 カバレッジについて

■いつも忘れてしまうカバレッジの違いについて

C0/C1/C2

検査網羅率(テストカバレージ) ── どれだけテストしたか、の指標。

例:

void function(...) {
    if ( 條件A || 條件B ) {
      処理1
    } else {
     処理2
    }
    if ( 條件C ) {
      処理3
    } else {
      処理4
    }
}

C0: 命令網羅ステートメント・カバレージ
通っていない処理がなくなればC0は100%となる。
この例では処理1,2,3,4 を少なくとも1度通るべきであるということ。
つまり

のふたつ。

C1:分岐網羅ブランチ・カバレージ
分岐の全組み合わせをテストすればC1は100%となる。
この例では

の４つ。

C2:條件網羅コンディション・カバレージ
條件式の全組み合わせをテストすればC2は100%となる。
この例では、條件A,B,C があるので

の６つ。
※ (DC: Don't Care = どうでもいいということ)

実コードでは條件式の數がかなり大きくなると思われるので、
C2カバレッジは現実的ではないかも。

※
條件式が10個あったらC2を100%にしようとすれば、
最大1024通りのテストケースが必要となってしまう
しかしたとえば條件式５つずつの二本のコードに分割できるなら、
C2を100%にするには32通りをふたつで
64通りのテストケースとなり、これなら全件テストも現実的になってきた？

関數を分割するメリットがここにも出てくる。