令和6年度 春期 情報処理安全確保支援士試験 午前II 問23
テクノロジシステム開発技術
この問題は2024(R6)春 情報処理安全確保支援士 午前IIに出題されたものです。出題時点の法令・制度に基づく内容のため、現行の内容と一致しない場合があります。
本ページの問題文・選択肢は、原本の体裁を Web 表示用に正規化しています（改行・記号・数式・図表参照の調整）。設問の趣旨および正解に影響する変更は加えていません。
ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として，適切なものはどれか。
解答・解説を読む
正解: 選択肢エ
形式手法（フォーマルメソッド）とは、数学的な基礎に基づく明確で厳密な意味を定義することができる言語（形式仕様記述言語）を用いてソフトウェアの仕様を記述し、その仕様と満たすべき性質とが整合しているかどうかを論理的・数学的に検証する手法です。
仕様の曖昧さを排除し、仕様に対するプログラムの正当性を数学的に証明できるため、高い信頼性が求められるソフトウェアの開発などに用いられます。
各選択肢の解説
ア：進行役（モデレーター）や記録役などの役割を決めた複数人で成果物を検証する手法は、インスペクション（レビュー手法の一つ）の説明です。
イ：プログラムの内部構造とは無関係に、プログラムが仕様どおりに機能するかどうかを検証する手法は、ブラックボックステストの説明です。
ウ：プログラムの内部構造に着目し、プログラムが仕様どおりに動作するかどうかを検証する手法は、ホワイトボックステストの説明です。
エ：正解です。形式手法の説明です。