verificationとvalidation

以前, ソフトウェア開発におけるverificationとvalidationの使い分けというような話を聞いたのを思い出して調べてみた.

Validation とは要求に対して、正しいものが定義されているか否かを検証する際に用いる用語です。
(中略)
これに対して Verification は要求を取り込んで、仕様として定義したものが、正しく設計/実現されているかどうかを検証する際に用いる用語です。
http://www.sessame.jp/knowledge/terms_main_files/terms-uvwxyz.html

ソフトウェアの機能が既に定まっていて, その結果を検証する場合(精度など)は, verificationになるのでしょうかね. それに対して, そもそもその機能が目的に適っているかどうかを判断するのが, validationという事でしょうか.

http://www.atmarkit.co.jp/aig/04biz/vandv.html

ところでverificationとvalidationの違いは、Boehm御大が分かりやすくまとめています。

verification:
Are we building the product right? (正しく製品を作っているか)
validation:
Are we building the right product? (正しい製品を作っているか)

http://blues.se.uec.ac.jp/mt/swtest/archives/000055.html