Vモデル

ウォーターフォールモデルの各開発工程と対応するテスト工程を V字型に対比させた開発モデル。要件定義に対して受入テスト、基本設計に対してシステムテスト、詳細設計に対して結合テスト、実装に対して単体テストが対応する。

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

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

シミュレーションモデルを用いて設計・検証を行い、モデルから自動的にコードを生成する開発手法。MATLAB/Simulinkが代表的なツール。自動車や航空宇宙の組込みシステム開発で広く採用され、開発の効率化と品質向上に寄与する。

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

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

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

要件定義、設計、実装、テスト、運用の各工程を上流から下流へ順に進める開発モデル。各工程の完了を確認してから次に進むため手戻りが発生しにくいが、要件変更への対応が困難。大規模で要件が確定したプロジェクトに適する。