検証（ベリフィケーション）とは？けんしょう
検証（ベリフィケーション）とは、開発の各工程で作った成果物（設計書・プログラムなど）が、その工程の入力として決められた仕様や要件どおりに作られているかを確かめる活動。「正しく作っているか」を問うもので、利用者の本当のニーズに合っているかを問う妥当性確認（バリデーション）と対にして、V&V（Verification and Validation：検証と妥当性確認）と呼ばれる。手段は、設計書を読み合わせるレビューのような静的な確認と、プログラムを動かすテストの両方を含む。
最終更新：2026-10-10
基本情報を最短で暗記・合格する →背景
大きなシステムは要件定義から設計、プログラミングへと段階を踏んで作るため、途中のどこかで仕様の読み違いが起きると、その誤りが後の工程にそのまま引き継がれる。完成してから利用者に見せて初めて食い違いに気づくと、手戻りは大きい。そこで、工程ごとに「前の工程で決めたことを正しく受け継いだか」を確かめる検証と、「そもそも利用者が求めるものか」を確かめる妥当性確認を分け、それぞれの段階で誤りを早く見つけるようにした。
具体例
NASA（アメリカ航空宇宙局）は、探査機や有人宇宙飛行のソフトウェアを、開発チームとは独立した組織に確かめさせる IV&V（独立検証・妥当性確認）プログラムを持っている。このうち検証に当たるのは、たとえば設計書に「センサの値が上限を超えたら安全モードへ移る」と書かれているとき、プログラムが本当にその条件で安全モードへ移るかを、ソースコードの読み込みやテストで確かめる作業である。内定者研修の開発演習でも、詳細設計書のとおりに関数の引数や戻り値が作られているかをコードレビューで確かめるのは検証にあたる。
試験での引っ掛け
よくある誤りは、妥当性確認との向きの取り違え。検証は「仕様どおりに作ったか（作り方が正しいか）」、妥当性確認は「利用者が求めるもの・意図した使い方に合っているか（作るものが正しいか）」である。仕様書どおりに完璧に作れていても、仕様そのものが利用者の要求とずれていれば、検証は通っても妥当性確認では不合格になる。また検証はテストだけを指すのではなく、レビューのような静的な確認も含む。MAC（メッセージ認証符号）での改ざんの検証や、機械学習の交差検証・検証データの「検証」は別の意味で、開発工程の V&V とは関係がない。
関連用語
出典・参考
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。