ソフトウェア検証 は、構築中のソフトウェアシステムが正しく構築されているかどうかを判断するために使用されるメソッドのコレクションです。設計、実装、テストケースのいずれであっても、システムのいくつかの側面は、システムの文書化された要件と比較されます。
ソフトウェア検査 は、仕様に対してシステムを検証するために使用できる特定の手法です。検査にはさまざまなタイプがあり、別の開発者が作業成果物を確認する「デスクチェック」から、ロール、チェックリスト、および会議を伴う正式な検査(しばしば Fagan検査 と呼ばれます)までさまざまです。これら2つの極端の間にある検査の形式。