ホワイトボックステスト

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

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

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

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

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

プログラムの内部構造（制御の流れや条件分岐）に着目してテストケースを設計するテスト技法。命令網羅や判定条件網羅などの網羅基準を用い、主に単体テストで使う。仕様にあるのに実装されていない機能の漏れは見つけにくい。

プログラムを実行せずに、ソースコードを解析して誤りや規約違反、脆弱性を検出する手法。開発の早い段階で問題を発見でき、コーディング標準の遵守確認にも使われる。

テストの経過に伴うバグの発見数と解決数の推移をグラフに表したもの。曲線が寝てきたことがテスト終了判断の目安になる。想定と大きくずれる場合は品質やテストの問題を疑う。

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

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

開発工程（要件定義、基本設計、詳細設計、実装）と対応するテスト工程（単体テスト、結合テスト、システムテスト、受入テスト）をV字型に対応付けた開発モデル。各開発工程の成果物がテスト工程の検証基準となり、品質確保に有効。組込み開発で広く採用される。

システムの品質や制約に関する要件。性能（応答時間、スループット）、信頼性、安全性、消費電力、耐環境性、コスト制約などが含まれる。組込みシステムでは非機能要件がシステム設計を大きく左右する。