猫でも分かるソフトウェアのテスト網羅（6）：パス・カバレッジの王者の意外な弱点

ホワイトボックス・テストの王様がパス網羅です。パス網羅の中でも、全ての命令語を実行するにすぎないC0カバレッジ、条件文の真と偽の両方をテストするだけのC1網羅に比べ、条件文の真と偽の全ての組み合わせをテストするC2カバレッジは、パス網羅界の帝王のように最高レベルと思われているようです。ソフトウェア開発には、いろいろな開発方法や品質保証法がありますが、全てに利点と欠点があります。筆者には、C2カバレッジは、実力以上に評価が高い検証技法のように思われてなりません。 ソフトウェアのテストの最も難しいところは、「どこまでテストすればよいか」の明確な目標が定まっていないことです。やろうと思えば、テストせずに出荷できますし、がっちりテストしても、リリース後に不具合が起こる可能性はゼロではありません。 ソフトウェアには、いろいろなテストがありますが、C0、C1、C2カバレッジのような制御パス・テストの利