ソフトウェアテストとは？

前の節では、ソフトウェアテストの概要とその重要性を紹介しました。ここからはもう少し詳しく学びます。まず定義を振り返りましょう。

ソフトウェアテストでは、ソフトウェアの機能が顧客の要件を満たしているかを評価します。大きく次の二種類に分けられます。

1. 動的テスト。プログラムを実行して調べます。
2. 静的テスト。コードと関連文書を調べます。

動的テストと静的テストは、多くの場合組み合わせて使います。

ブラックボックステスト

ブラックボックステストでは、内部の実装を調べずに、ソフトウェアが何をするかを確認します。単体、結合、システム、受け入れのすべてのテストレベルで使えます。

原寸大の図を開く ↗

ブラックボックステスト

ブラックボックステストの担当者は、ソフトウェアが何をすべきかに注目します。テストケースは仕様や要件に基づいて作成し、内部のプログラムロジックには依存しません。有効な入力と無効な入力を与え、出力を確認します。

ホワイトボックステスト

ホワイトボックステストでは、ソースコードとその内部ロジック、実装、振る舞いを調べます。テストケースではソフトウェアが内部でどのように動作するかを検証します。単体、結合、システムの各レベルで使えます。ほかの方法では見つけにくい内部設計上の誤りを発見できますが、要件や仕様の抜けはこの方法では見つかりません。

原寸大の図を開く ↗

ホワイトボックステスト

命令網羅

命令網羅では、各コードブロックのすべての命令を少なくとも一回は実行し、結果を観察できたかを確認します。行カバレッジやセグメントカバレッジとも呼ばれます。

すべての命令を実行しても、あらゆる条件を検証できるとは限りません。このため、命令を完全に網羅しても、見つからない誤りが残ることがあります。

判定網羅

判定網羅は分岐網羅とも呼ばれます。各判定について、真と偽を含む結果をテストします。分岐とは判定の結果の一つです。命令網羅だけを行う場合より広い範囲をカバーできます。判定に使う命令の例を挙げます。

1. IF 文。
2. do-while などのループ制御文。
3. 二つ以上の結果を持つ CASE 文。

判定網羅ではコード内の各分岐を検証します。命令網羅だけの場合より詳しく確認できます。

条件網羅

条件網羅では、個々のブール条件について真と偽の結果をテストします。これらの条件は判定結果に大きく影響する場合があります。条件を網羅しても、判定を完全に網羅できるとは限りません。

判定と条件の網羅

この方法では、判定とそれを構成する個々の論理条件を組み合わせてテストします。両方について真と偽を確認できるため、ソフトウェアをしっかりとテストする手法になります。

複数条件網羅

複数条件網羅は条件組み合わせ網羅とも呼ばれ、複数の条件の組み合わせに対する出力を確認します。次の例を見てみましょう。
If (x=true OR y=true)
   Then
Print (“Hello”)
   Else
Print (“Bye”)

この例では、条件の組み合わせが四通りあります。
テストケース1。x=true; y=true
テストケース2。x=true; y=false
テストケース3。x=false; y=true
テストケース4。x=false; y=false

同じように、ブール条件が三つある場合は、組み合わせが八通りあります。