テスト技法と網羅基準

テスト技法は、テストケースを選ぶ根拠を明確にし、テストがどこまで網羅できたかを説明するための方法である。大きくは、仕様に基づいて設計するブラックボックステストと、プログラムの内部構造に基づいて設計するホワイトボックステストに分けられる。試験では、どの基準でテストケースを選ぶのか、そして何ケース必要かを数えられるかが問われる。

仕様に基づくテストと構造に基づくテスト

ブラックボックステストは、プログラムがどのような機能を果たすかを仕様書で確認し、入力と出力の関係からテストケースを設計する。内部の処理手順は使わないため、仕様に定められた機能や入出力の対応を確実に検証することに重点がある。

代表的な方法は、機能仕様から同値クラスと限界値を識別し、それぞれに対応するテストデータを作ることである。同じ扱いになる入力の集まりから代表値を選び、境界の値を重点的に試すことで、少ないケース数で仕様の条件を広く覆える。

一方、稼働中の実データを無作為に抜き出す方法は、仕様上の条件や境界を体系的に覆えず、利用頻度の高いデータに偏るおそれがある。個人情報の扱いが問題になることもある。

ホワイトボックステストは、流れ図や分岐条件など内部の構造に着目し、どの経路や命令を通したかを基準にテストを設計する。網羅の基準は内部構造から定まるため、ブラックボックステストとは見る対象が異なる。

網羅基準の種類と最少ケース数の数え方

命令網羅は、プログラム内のすべての命令を少なくとも一度実行することを基準とする。最少ケース数を求めるときは、一つのテストケースが各判定の分岐を通って実行できる命令の数を確認し、その上で必要な段数を考える。例えば、最初と最後の判定がそれぞれ3個の命令を持つ問題では、1つのテストケースが一方の判定から通す命令は1個ずつに限られるため、最低3ケースが必要になる。 命令の総数と同じ数のケースを用意する必要はない。