判定条件網羅

ホワイトボックステストの網羅基準の一つで、プログラム中のすべての判定（分岐）について、真と偽の結果をそれぞれ少なくとも1回は実行するようにテストケースを設計するもの。分岐網羅とも呼ぶ。命令網羅より強い基準だが、判定を構成する個々の条件の組合せまでは確かめない。

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

すべての命令を少なくとも1回は実行するようにテストケースを作る基準。ステートメントカバレッジともいう。最も緩い基準で、条件の真偽の組合せまでは確認できない。

判定文の中の個々の条件について、真と偽の両方を少なくとも1回ずつ試す基準。個別の条件は網羅できるが、判定全体としての真偽が両方試されるとは限らない。

プログラムを実際に実行して、出力や振る舞いを期待した結果と比べて確かめるテスト。プログラムを実行せずにソースコードを調べるレビューや静的解析と対比され、実行して初めて分かる処理の誤りや性能の問題を見つけられる。

プログラムのバグ（誤り）を発見・修正するためのツール。ブレークポイントの設定、ステップ実行、変数値の監視などの機能を提供する。トレーサやインスペクタを含む。

あるハードウェアやOSの動作を、別の環境上でそっくり再現するソフトウェア。実機がなくてもスマートフォンアプリの動作確認ができるなど、開発中のテスト環境として広く使われる。

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