ドライバ（テスト）

条件の組み合わせと、それに対応する処理（アクション）を表形式で整理する技法。複雑な条件分岐をもれなく網羅的に記述でき、仕様の漏れや矛盾を発見するのに有効。テスト設計にも活用される。

内部構造を考慮せず、入力と出力の関係からテストケースを設計する手法。同値分割、境界値分析、デシジョンテーブル、状態遷移テストなどの技法がある。機能仕様に基づいてテストする。

プログラムの内部構造（制御フロー、データフロー）に基づいてテストケースを設計する手法。命令網羅、分岐網羅、条件網羅、パス網羅などのカバレッジ基準がある。ロジックの正確性を検証する。

テストによってどの程度のプログラムコードが実行されたかを示す指標。命令網羅率（C0）、分岐網羅率（C1）、条件網羅率（C2）などがある。カバレッジ100%でも完全な品質保証にはならない点に注意が必要。

個々のモジュールやクラスの機能を独立して検証するテスト工程。ドライバやスタブを用いて、テスト対象のモジュールを単独で動作させる。開発者が主体となって実施し、コードレベルの不具合を検出する。

単体テスト済みのモジュールを組み合わせ、モジュール間のインタフェースや連携を検証するテスト工程。トップダウンテスト、ボトムアップテスト、サンドイッチテスト（混合テスト）などの戦略がある。