ホワイトボックステスト

プログラムの内部構造（ロジック、分岐、ループなど）に着目して行うテスト。命令網羅、分岐網羅などのカバレッジ基準を用い、すべての処理経路が正しく動作するか検証する。単体テストで主に用いられる。

プログラムの内部構造に着目したテスト手法。命令網羅、分岐網羅（判定条件網羅）、条件網羅、複数条件網羅、経路組合せ網羅などの網羅基準がある。網羅率（カバレッジ）でテストの十分性を評価する。

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

プログラムの内部構造（ソースコード）に基づいてテストケースを設計するテスト手法。命令網羅、分岐網羅、条件網羅、パス網羅などのカバレッジ基準を用いる。組込みソフトウェアの単体テストで広く使用される。

条件と動作の組合せを表形式で整理する手法。複雑な条件分岐のロジックを網羅的に表現でき、業務分析や要件定義、テストケースの作成に活用される。デシジョンテーブルとも呼ばれる。

ソフトウェアユニット（最小のプログラム単位）ごとに行うテスト。ソフトウェア設計で定義したテスト仕様に従い、個々のモジュールが正しく動作するかを検証する。ホワイトボックステストが主に用いられる。

プログラムの内部構造を意識せず、入力と出力の関係に着目してテストデータを作成するテスト手法。同値分析法、限界値分析法、原因結果グラフ法、エラー埋込法などの技法がある。

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

入力データの取りうる範囲を有効同値クラスと無効同値クラスに分割し、各クラスから代表値を選んでテストする手法。ブラックボックステストの技法の一つで、効率的にテストケースを削減できる。

同値クラスの境界値（最小値、最大値、その前後の値）を重点的にテストする手法。境界付近でバグが発生しやすいという経験則に基づき、同値分析法と組み合わせて使用される。