情報処理安全確保支援士令和6年春期 午前Ⅱ 問23

問23

ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として,適切なものはどれか。
  • 進行役(モデレーター),記録役などの役割を決めた複数人で,成果物に欠陥がないかどうかを検証する。
  • プログラムの内部構造とは無関係に,プログラムが仕様どおりに機能するかどうかを検証する。
  • プログラムの内部構造に着目し,プログラムが仕様どおりに動作するかどうかを検証する。
  • 明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して,満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。

分類

テクノロジ系 » システム開発技術 » ソフトウェア構築

正解

解説

形式手法は、機械処理可能で数学的に厳密に定義づけられた言語でソフトウェアの要求事項と検証対象を記述し、ソフトウェアがユーザーの求める仕様を満たせているかどうかを論理的に検証する手法です。形式手法を支援するツールとして、VDM、B-method、Zなどがあります。

形式手法では形式仕様記述言語に基づいて整合性の検証が行われることから、人の目では見つけることが困難な誤りも検出することができ、検証した部分に不具合がないことの保証を得ることができます。形式手法は、設計を検証する「モデル検査」、要求からプログラム実装の過程を検証する「形式仕様記述」、プログラム実装を検証する「プログラム検証」に分類されます。
  • インスペクションの説明です。事前に役割を決められた参加者が責任のある第三者(モデレーター)の下で成果物を確認する最も公式なレビュー技法です。
  • ブラックボックステストの説明です。システムの内部構造を考慮せず、システムに与える入力とそれに対する出力だけに着目して、入力に対する仕様書通りになっているかを検証するテストです。
  • ホワイトボックステストに関する説明です。プログラムやモジュールの単体テストとして実施されるテスト手法で内部構造に基づき仕様書通りに動作するかを検証するために実施されます。
  • 正しい。形式手法によるソフトウェア検証の説明です。
© 2014-2024 情報処理安全確保支援士ドットコム All Rights Reserved.

Pagetop