ホワイトボックステスト

詳細設計に基づくテストケースを設計し、単体テストで使われる技法です。
各網羅パターンの図は、左にフロー図、右にテストパターンでまとめてみました。

また、テスト実施の際にカバレッジツールを使うと、品質がグッと上がります。
但し、カバレッジツールはテストのサポートツールなので、カバレッジ１００％になっても完璧なソフトウェア（モジュール）という訳ではないことに注意が必要です。
逆にカバレッジ１００％に拘泥しすぎるのも効率が悪くなる場合があるので、あくまでも考慮漏れを効率よく発見できる程度の認識で使うのがいいと思います。
とはいえ、カバレッジツールは破壊力抜群なので、積極的に使っていきましょう。

• 目的は品質の向上であり、カバレッジ１００％ではない
• カバレッジツールだけでは完璧なテストとは言えない
• カバレッジツールは品質や効率の向上のため、積極的に使用するべき

★命令網羅（Ｃ０）
最も緩い条件で、全ての命令を１度でも通過すればＯＫです。
カバレッジレベルはＣ０になり、条件分岐にバグがあった場合は検出できません。



★判定条件網羅（Ｃ１）
条件分岐を含めた全経路を通過すればＯＫです。
カバレッジレベルはＣ１になり、一つの条件分岐で二つのテストケースが必要です。



★条件網羅（Ｃ２）
下の図で①の取りうる全ての条件と、②の取りうる全ての条件を満たすテストパターンを網羅すればＯＫです。
カバレッジレベルはＣ２になり、分岐は考慮しないので、下の図の処理では最低二つのテストパターンで網羅できることになります。
カバレッジレベルはここで終了です。



★判定条件／条件網羅
文字通り、判定条件網羅と条件網羅を両方満たせばＯＫです。
カバレッジツールでカバレッジ１００％となったら、最低でも判定条件／条件網羅までの品質が担保できていることになります。
下の図では条件網羅と同様、最低二つのテストパターンで網羅できることになります。



★複数条件網羅
可能な全てのテストケースを網羅できればＯＫです。
カバレッジが１００％近くになったら、通過した条件に対して全てのパターンを考慮していきます。ここからが単体テストの本番という感じで、実務だと概ねこのレベルを求められます。

下の図では条件が①と②の二つなので、条件①の分岐数（＝２）掛ける条件②の分岐数（＝２）で４パターンのテストケースが必要になります。
この程度なら十分テスト可能ですが、例えば・・・

• 条件が５つになると、分岐数（＝２）の条件数（＝５）乗なので３２パターン
• 条件が６つになると、分岐数（＝２）の条件数（＝６）乗なので６４パターン
• 条件が７つになると、分岐数（＝２）の条件数（＝７）乗なので１２８パターン
• 条件が８つになると、分岐数（＝２）の条件数（＝８）乗なので２５６パターン
• 条件が９つになると、分岐数（＝２）の条件数（＝９）乗なので５１２パターン
• 条件が１０つになると、分岐数（＝２）の条件数（＝１０）乗なので１０２４パターン

となり、条件数が一つ増加するだけで爆発的にテストケースが膨らんでいきます。なので普通は直交表などでテストパターンを削減したり、モジュール分割で分岐を外出しするといったような工夫が必要です。オブジェクト指向で分岐をメインメソッドから追い出していく考え方は、こういう意味があるんですね。

1. 条件が７つのメソッドは１２８パターンのテストが必要
2. メソッドをモジュール分割し、条件が３つのメソッドと４つのメソッドに分割
3. 条件が３つのテストパターンは８
4. 条件が４つのテストパターンは１６
5. 二つのメソッドのテストパターンは２４（８＋１６）
6. テストパターンが１２８から２４に削減できた（－１０４）
7. ウレシー(ﾟ∀ﾟ　)