テストカバレッジ

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

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

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

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

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

上位モジュールから下位モジュールへ順に結合してテストする手法。未完成の下位モジュールの代わりにスタブを使用する。早期にシステム全体の振る舞いを確認でき、主要な制御構造の検証に有効。