テストカバレッジ

テストによってプログラムのどの程度が実行されたかを示す指標。命令網羅（C0）、判定条件網羅（C1）、条件網羅（C2）、複数条件網羅（MCC）などの基準があり、テストの十分性を評価する。

テストで、対象のプログラムの命令、分岐、条件、経路などのうちどれだけを実行したかの割合。カバレージ、網羅率とも呼ぶ。命令網羅、判定条件網羅、条件網羅、複数条件網羅などの基準ごとに測り、テストの十分さを判断する目安にする。網羅度が高くても、仕様の誤りや機能の漏れは見つけられない。

テストによってプログラムの構造や仕様をどの程度確認できたかを表す度合いで、カバレッジともいう。命令網羅、判定条件網羅、条件網羅、複数条件網羅などの基準ごとに、実行できた割合で示す。網羅度が高くても、仕様にある機能の実装漏れまでは検出できない。

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

ウォーターフォールモデルの各開発工程に対応するテスト工程を対に配置した開発モデル。要件定義に受入テスト、基本設計にシステムテスト、詳細設計に結合テスト、実装に単体テストが対応する。各工程の整合性を確保する。

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

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

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

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