ホワイトボックステストとは？目的・代表的な技法・ブラックボックステストとの違いを徹底解説
ソフトウェア開発において、品質を担保するためにテストは欠かせません。中でも「ホワイトボックステスト」は単体テストで用いられる代表的な手法です。しかし、「具体的にどんなテストなのか」「ブラックボックステストとは何が違うのか」といった疑問を持つ方も少なくありません。
この記事では、ホワイトボックステストの基礎知識について、初心者の方にもわかりやすく解説します。テストの目的や代表的な技法を例題付きで説明しますので、実務で必要となる基本的な知識を身につけることができます。
目次
ホワイトボックステストとは？
ホワイトボックステストとは、プログラムの内部構造に着目して行うテスト手法です。ソースコードの論理構造や処理の流れが、設計書や仕様書の通りに正しく実装されているかを検証します。
このテストは単体テストで用いられる代表的な手法であり、主に開発者が実施します。プログラムの内部を理解している必要があるため、「作り手側の視点」でのテストといえます。
単体テストでは、プログラムの最小単位（モジュールや関数）が正しく動作するかを確認します。その際、ホワイトボックステストを用いることで、コードの各部分が意図通りに動作しているかを詳細に検証できます。
なお、ホワイトボックステストは主に単体テストで使われますが、一部の結合テストでも使用される場合があります。結合テストでモジュール間の連携を確認する際、内部の処理フローを追跡する必要がある場合などです。
ホワイトボックステストとブラックボックステストの違い
ホワイトボックステストとよく対比されるのが、ブラックボックステストです。両者の違いを以下の表で整理します。
| 比較項目 | ホワイトボックステスト | ブラックボックステスト |
|---|---|---|
| 特徴 | プログラムの内部構造を見てテストする | プログラムの内部構造を見ずにテストする |
| 用いられるテスト技法 | ステートメントテスト、ブランチテストなど | 同値分割法、境界値分析など |
| テストを行う際の視点 | 作り手側の視点（内部構造が正しいか） | ユーザー側の視点（仕様通りに動作するか） |
ホワイトボックステストはプログラムの内部構造を確認しますが、ブラックボックステストは入力と出力の関係のみに着目します。
どちらか一方だけでは不十分です。ホワイトボックステストでコードレベルの品質を確保し、ブラックボックステストでユーザー要件を満たしているかを確認することで、ソフトウェアの品質を総合的に担保できます。
ブラックボックステストについてさらに知りたい方は、以下の記事をご覧ください。
ホワイトボックステストの目的
ホワイトボックステストを実施する主な目的は以下の通りです。
潜在的なバグの早期発見
プログラムの内部構造を詳細に検証することで、外部からは見えない潜在的なバグを発見できます。例えば、特定の条件下でのみ発生する不具合や、エラー処理の漏れなどを早期に検出できます。
プログラムが設計通りに動作するかの確認
ソースコードが詳細設計書の通りに実装されているかを確認できます。開発者の意図した処理フローで動作しているか、分岐条件が正しく記述されているかなどを検証します。
コードレベルでの品質保証
プログラムの各命令文や分岐が正しく実行されることを確認することで、コードの品質を保証します。これにより、保守性や拡張性の高いプログラムを維持できます。
網羅的なテストの実現
カバレッジ（網羅率）という指標を用いることで、どの程度テストが実施されたかを定量的に把握できます。これにより、テストの抜け漏れを防ぎ、網羅的なテストを実現できます。
リグレッション（デグレード）の防止
プログラムを修正した際、以前は正常に動作していた部分に悪影響が出る場合があります。ホワイトボックステストを継続的に実施することで、このような意図しない不具合を早期に検出できます。
【例題付き】代表的なホワイトボックステスト技法
ホワイトボックステストには複数の技法がありますが、ここでは代表的な2つの技法を例題付きで解説します。
これらは「制御フローテスト」と呼ばれる技法の一種で、プログラムの処理の流れ（制御フロー）が正しいかを検証するものです。制御フローテストでは、「カバレッジ（網羅率）」という指標を用いて、どの程度テストが実施されたかを測定します。
ステートメントテスト（C0/命令網羅）
ステートメントテストは、プログラム内のすべての命令文が少なくとも1回は実行されることを確認するテスト技法です。命令網羅、またはC0とも呼ばれます。
例題で理解しよう
以下のような、点数によって合否を判定するシンプルなプログラムを考えます。
def judge_score(score):
if score >= 60:
result = "合格"
else:
result = "不合格"
return result
このプログラムには4つの命令文があります。
if score >= 60:（条件判定）result = "合格"（合格の場合の処理）result = "不合格"（不合格の場合の処理）return result（結果を返す）
ステートメントテストでは、これらすべての命令文が少なくとも1回実行されるようにテストケースを設計します。
テストケースの例
- テストケース1: score = 80 → 結果「合格」が返される
- テストケース2: score = 40 → 結果「不合格」が返される
この2つのテストケースで、4つの命令文すべてが実行されるため、ステートメントカバレッジは100%となります。
ステートメントテストは最も基本的なカバレッジ基準ですが、すべての分岐パターンを網羅するわけではない点に注意が必要です。
ブランチテスト（C1/分岐網羅）
ブランチテストは、プログラム内のすべての分岐（真と偽の両方）が少なくとも1回は通ることを確認するテスト技法です。分岐網羅、またはC1とも呼ばれます。
例題で理解しよう
以下のような、複数の条件を持つプログラムを考えます。
def check_conditions(a, b):
if a > 0:
print("Aは正の数")
if b > 0:
print("Bは正の数")
return "処理完了"
このプログラムには2つの分岐があります。
- 分岐1:
a > 0の真（True）と偽（False） - 分岐2:
b > 0の真（True）と偽（False）
ブランチテストでは、各分岐の真と偽の両方を通るようにテストケースを設計します。
テストケースの例
- テストケース1: a = 5, b = 3 → 両方の分岐が真
- テストケース2: a = -1, b = -2 → 両方の分岐が偽
この2つのテストケースで、すべての分岐の真偽が実行されるため、ブランチカバレッジは100%となります。
ステートメントテストとの違い
ブランチテストでC1カバレッジ100%を達成すると、必然的にC0カバレッジも100%になります。つまり、ブランチテストはステートメントテストよりも厳格な基準といえます。
ここで、ステートメントテストとブランチテストの違いをより詳しく見てみましょう。
先ほどのステートメントテストで使用した合否判定のプログラムでは、if文が1つしかありませんでした。このような単純な分岐の場合、ステートメントテストで「合格」と「不合格」の両方のケースをテストすることで、自動的にすべての分岐（真と偽）も網羅されます。そのため、必要なテストケース数は同じ2つでした。
一方、今回のブランチテストの例のように、独立した複数の分岐（if文が2つ）がある場合、ステートメントテストとブランチテストで必要なテストケース数に差が出てきます。
例えば、ステートメントテストの場合、以下の1つのテストケースだけで、すべての命令文を実行できます。
- テストケース: a = 5, b = 3 → すべてのprint文が実行される（C0カバレッジ100%）
しかし、このテストケースだけでは、「aが0以下の場合」と「bが0以下の場合」という分岐の偽側が実行されません。ブランチテストでは、各分岐の真と偽の両方を確認する必要があるため、最低でも2つのテストケースが必要になります。
このように、ブランチテストはステートメントテストよりも厳格で、より網羅的なテストを実現できます。
カバレッジの考え方
ここまで紹介したC0（ステートメントテスト）とC1（ブランチテスト）以外にも、C2（条件網羅）やMC/DC（改良条件判定網羅）など、より厳格なカバレッジ基準があります。
カバレッジが高いほど、より網羅的なテストができますが、その分テストケースの数が増え、工数もかかります。プロジェクトの重要度や複雑度に応じて、適切なカバレッジ基準を選択することが大切です。
ホワイトボックステストを効果的に進めるポイント
ホワイトボックステストを効果的に実施するためのポイントを紹介します。
テストケースの設計を丁寧に行う
カバレッジ目標を達成するために、どのようなテストケースが必要かを事前に設計することが重要です。フローチャートやソースコードを見ながら、必要な分岐や条件を洗い出しましょう。
プロジェクトに応じたカバレッジ目標を設定する
すべてのプロジェクトでC1カバレッジ100%を目指す必要はありません。システムの重要度や複雑度、開発期間などを考慮して、適切なカバレッジ目標を設定しましょう。
例えば、金融システムや医療システムなど、高い信頼性が求められるシステムでは、より厳格なカバレッジ基準（C1やC2）を採用することが一般的です。一方、プロトタイプ開発では、C0程度でも十分な場合があります。
テスト自動化を活用する
ホワイトボックステストは、網羅的に実施しようとすると膨大なテストケースが必要になります。単体テストフレームワークを活用してテストを自動化することで、効率的にテストを実施できます。
ツールを活用する
カバレッジを測定するツールを使用することで、どの程度テストが実施されたかを定量的に把握できます。
代表的なツールとして、以下があります。
- JaCoCo: Javaのカバレッジ測定ツール。単体テストの実行結果からカバレッジレポートを自動生成できます。
- Coverage.py: Pythonのカバレッジ測定ツール
- Jest: JavaScriptのユニットテストフレームワーク。テスト実行とともにカバレッジ測定機能も組み込まれています。
これらのツールを使用することで、どの行が実行されていないか、どの分岐が通っていないかを視覚的に確認できます。
ブラックボックステストと組み合わせる
ホワイトボックステストだけでは、仕様の漏れや要件の不備を検出できません。ブラックボックステストと組み合わせることで、コードの品質と仕様の妥当性の両方を確保できます。
まとめ
この記事では、ホワイトボックステストの基礎を解説しました。ホワイトボックステストはプログラム内部構造に着目する単体テスト手法で、バグの早期発見やコード品質の向上に役立ちます。主要な技法であるステートメントテスト（C0）とブランチテスト（C1）を例題とともに紹介しました。効果的に実施するには、JaCoCoなどでカバレッジを測定し、自動化を取り入れることが重要です。さらにブラックボックステストと組み合わせることで、より高い品質保証が可能になります。
