ブラックボックステスト

プログラムの内部構造を考慮せず、入力と出力の関係に着目して行うテスト。仕様書に基づいて期待される出力が得られるかを検証する。同値分割法や境界値分析などのテスト技法が用いられる。

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

プログラムの内部構造を意識せず、入力と出力の関係からテストする手法。同値分析法、限界値分析法、原因結果グラフ法、デシジョンテーブルテスト、状態遷移テストなどがある。仕様に基づいて行うため、仕様ベーステストとも呼ばれる。

プログラムの仕様に基づき、内部構造を考慮せずにテストケースを設計するテスト手法。同値分割、境界値分析、デシジョンテーブルなどの技法がある。システムテストや受入テストで使用される。

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

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

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

テストコードを先に書き、そのテストを通過する最小限のコードを実装し、リファクタリングするサイクル（Red-Green-Refactor）を繰り返す開発手法。設計の改善と品質の作り込みを同時に実現する。XPのプラクティスの一つ。

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

システムが提供すべき機能や振る舞いに関する要件。入力に対する処理内容と出力、データの管理方法、業務ルールの実装などを具体的に定義する。非機能要件と対比して用いられる。