ブラックボックステスト

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

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

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

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

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

テストによってプログラムのどの部分が実行されたかを測定する分析手法。ステートメントカバレッジ（C0）、ブランチカバレッジ（C1）、条件カバレッジ（C2）、MC/DC（修正条件判定カバレッジ）などの基準がある。安全規格ではMC/DCが求められることがある。

プログラムを実行せずにソースコードを解析し、潜在的なバグ、セキュリティ脆弱性、コーディング規約違反などを検出する手法。バッファオーバーフロー、未初期化変数、メモリリークなどの問題を早期に発見できる。

ソフトウェアの変更（バグ修正、機能追加等）により、既存の機能に悪影響が出ていないかを確認するためのテスト。変更箇所だけでなく、関連する既存機能のテストを再実行する。自動化が重要であり、CI/CDパイプラインに組み込まれる。

テストの進行に伴うバグの累積検出数の推移をグラフ化したもの。S字カーブを描くのが理想的で、バグ検出が収束に向かう（曲線が寝る）段階でテスト完了の判断材料とする。ゴンペルツ曲線やロジスティック曲線で近似する。

テストコードを先に書き、そのテストを通過するコードを実装する開発手法。Red（テスト失敗）→Green（テスト成功）→Refactor（リファクタリング）のサイクルを繰り返す。コードの品質向上とリグレッション防止に効果的。