ホワイトボックステスト

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

プログラムの内部構造（ロジック）に着目してテストデータを作成するテスト手法。命令網羅、判定条件網羅（分岐網羅）、条件網羅、複数条件網羅などのカバレッジ基準がある。

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

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

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

ソフトウェア設計で分割する最小の構成単位で、独立してコーディングとテストができるプログラムの単位。ソフトウェア要素をソフトウェアユニットまで分割し、各ユニットの機能とユニット間のインタフェースを明確にしてから作成する。

判定文に含まれる複数の条件について、真と偽のすべての組合せを少なくとも1回ずつ実行するようにテストケースを作る網羅基準。命令網羅、判定条件網羅、条件網羅より強いが、条件の数がnなら2のn乗通りのケースが必要になる。

判定文の結果が真になる場合と偽になる場合をそれぞれ少なくとも1回は実行するようにテストケースを作る網羅基準で、分岐網羅（C1）ともいう。すべての分岐を通るため命令網羅より強いが、複合条件の個々の条件の真偽までは網羅できない。

テストで実行する1つ1つの確認項目。入力データ、前提条件、操作の手順と、それに対して期待される結果の組で表す。ブラックボックステストやホワイトボックステストの技法を使い、少ない件数で誤りを効率よく見つけられるように作る。

入力条件（原因）と出力結果（結果）の因果関係を論理記号で結んだグラフに表し、そこから決定表を作ってテストケースを導く、ブラックボックステストの技法。入力条件の組合せを漏れなく整理できる。

システムやソフトウェアが、要件で定めた機能を仕様どおりに提供しているかを確かめるテスト。入力に対して期待される出力が得られるかを、主にブラックボックステストの技法で確認する。