猫でも使えるソフトウェアのテスト網羅（2）：パス網羅の種類と内包する問題点：山浦恒央の“くみこみ”な話（85）（2/4 ページ）

3.パス網羅の種類

　ホワイトボックス・テストの代表がパス網羅で、パス網羅はホワイトボックス・テストの王様です。パス網羅にもいろいろありますが、代表がC0、C1、C2の3種類でしょう（*3）。前回（猫でも使えるソフトウェアのテスト網羅（1）：基本のC0パス・カバレッジ）の表を以下に再掲します。

　三者の網羅の違いを図1の具体的なパスで示します。

図1. C0、C1、C2が網羅する具体的なパス

　C0パス・カバレッジは、命令語だけを網羅（実行）すればよく、図の命令語（図中のマル印）に色がつけばよいので、図1 では、「P1・P3」の1本を実行すれば「網羅率100％」となります。

　C1パス・カバレッジは、分岐の網羅で、図の全ての「矢印」に色をつけることになります。図1では、「P1・P3」と「P2・P4」（あるいは、「P1・P4」と「P2・P3」）の2本を実行すれば「C1網羅率100％」です。

　C2パス・カバレッジは、分岐条件の全組み合わせを網羅しますので、図の条件文Aと条件文B、全ての組み合わせを網羅せねばなりません。図1では、「P1・P3」「P1・P4」「P2・P3」「P2・P4」の4本を実行しないと「C2網羅率100％」になりません。

　カバレッジに必要な時間（および、コスト）は、この例では、C0を1とすると、C1が2倍、C2は4倍になります。C0網羅でさえ100％網羅はものすごく大変なのに、C1さらにはC2カバレッジ実行の面倒さは推して知るべしです。