テスト技法

基本の仕組み

18歳以上を受け付ける処理なら、17・18・19を試すと境界の前後を確認できます。19だけでは「18より大きい」と実装された誤りを見逃すかもしれません。

同値分割は同じ扱いになる入力をグループ化し、境界値分析はその境目を重視します。ホワイトボックステストでは、分岐や経路など内部構造を基に確認します。

テストに通っても誤りが一切ないと証明できるわけではありません。正しい入力だけでなく、異常値や欠落、操作順の違いも仕様に沿って考えます。

テストの段階と結合テストの進め方

単体テストはモジュール内部の処理、結合テストはモジュール間のインタフェース、システムテストは性能や負荷を含めた要件全体、受入テスト（運用テスト）は発注者や利用者が業務で使えるかを確かめます。修正後に、変更していない部分へ悪影響が出ていないかを確かめるのが回帰テスト（リグレッションテスト）です。

結合テストを上位のモジュールから進めるトップダウンテストでは、まだできていない下位モジュールの代わりにスタブを使います。下位から進めるボトムアップテストでは、呼出し元となる上位モジュールの代わりにドライバを使います。

ブラックボックステストと網羅の基準

ブラックボックステストは内部構造を見ずに仕様から入力を選びます。「18歳以上を受け付ける」なら、18以上が有効同値クラス、17以下が無効同値クラスで、同値分割ではそれぞれから代表値を一つずつ選びます。境界値分析（限界値分析）では、境目の17と18を必ず含めます。

ホワイトボックステストは、内部の命令や分岐をどこまで実行したか（網羅、カバレージ）を基準にします。「AかつBなら処理Xを行う」という判定一つなら、命令網羅はAとBがともに真の1ケースで満たせますが、判定条件網羅（分岐網羅）には判定が偽になるケースも必要です。

条件網羅は、AとBがそれぞれ真と偽をとればよいので、（A真・B偽）と（A偽・B真）の2ケースでも満たせます。ただし、この2ケースでは判定がどちらも偽になるため、処理Xが一度も実行されず、判定条件網羅も命令網羅も満たしません。条件の真偽のすべての組合せを試す複数条件網羅が最も強い基準です。