次に挙げる、情報システムの構築時に開発技術者が行った品質向上の実施例のうち、検証 (Verification) に最も該当しないものはどれか。
① 作成したプログラムがプログラム設計書に定義されているとおりに機能することを単体テストによって検証した。
② 形式手法を適用して、作成した設計書が要求仕様書に定義された要求を満たすことを検証した。
③ モデル検査を適用して、プログラムが無限ループやデッドロックに陥らない設計になっていることを検証した。
④ ゴールモデルを用いて、開発されるシステムが、要求者のシステム化の意図を満足していることを検証した。
⑤ 結合テストによって、利用する機器やソフトウェアなどが結合計画どおりに接続でき、要求仕様書どおりに動作することを検証した。
④
情報システムの構築時における、検証 (Verification) と妥当性確認 (Validation) の知識を問う問題。
④ 正しい。妥当性確認に該当する。妥当性確認は、要求者 (顧客) のニーズに合致しているかを確認することである。
一方、検証は、要求仕様書や仕様書のとおりに動作するかどうかを確認することである。
| Ⅰ－９ | 目次 | Ⅰ－１１ |