形式手法は、数学的な記法や論理学を用いてソフトウェアの仕様を厳密に記述し、その仕様が満たすべき性質と整合しているかを論理的に検証する手法です。これにより、ソフトウェアの正確性と信頼性を数学的に証明します。
情報処理安全確保支援士令和6年度 春期午前II問 23
令和6年度 春期 情報処理安全確保支援士 午前II 問23
難度
標準
ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として、適切なものはどれか。
選択肢
ア進行役(モデレーター),記録役などの役割を決めた複数人で、成果物に欠陥がないかどうかを検証する。
イプログラムの内部構造とは無関係に、プログラムが仕様どおりに機能するかどうかを検証する。
ウプログラムの内部構造に着目し、プログラムが仕様どおりに動作するかどうかを検証する。
エ明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して、満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。
解説
結論 → 詳細 → 補足 の 3 層構成
展開閉じる
解説
結論 → 詳細 → 補足 の 3 層構成
この解説は？
この解説は AI 生成です（詳細）
解説テキストは Google Gemini に IPA 公式の問題文・公式解答を入力して生成しました。 人間によるレビューを行ったものと、未レビューのものが混在します。
AI は事実誤認・選択肢の取り違え・最新法令の反映漏れ等を含む可能性があります。 重要な判断は必ず IPA 公式 PDF または最新の参考書でご確認ください。
解説の検証プロセス・誤り報告フローは 運営透明性レポートで公開しています。
分野「セキュリティ管理」の学習ポイント
この問題の理解を「分野全体の力」に広げるための足がかり
- 何が問われるか
- 本問の分野で問われる代表的な知識・用語の整理。
- 学習の進め方
- 正解／誤答の選択肢ごとに「なぜ正しい / なぜ違うのか」を1行ずつ言語化すると定着する。
AI コパイロット
この問題を AI と深掘りする
用語解説・選択肢分析・類題生成をその場で対話。クイズモードでは解答→解説がゼロ遷移。
共有
ショート動画
関連する問題
セキュリティ管理 の他の問題
- 情報セキュリティスペシャリスト2009年度 秋期 午前II 問4コンティンジェンシープランにおける留意点はどれか。
- 情報セキュリティスペシャリスト2009年度 秋期 午前II 問15SLCP(共通フレーム)に従いシステム開発の要件定義の段階で実施することとして、適切なものはどれか。
- 情報セキュリティスペシャリスト2009年度 秋期 午前II 問25IT に係る内部統制を評価し検証するシステム監査の対象となるものはどれか。
- 情報セキュリティスペシャリスト2009年度 春期 午前II 問7リスク対策をリスクコントロールとリスクファイナンスに分けた場合、リスクファイナンスに該当するものはどれか。
- 情報セキュリティスペシャリスト2009年度 春期 午前II 問8情報システムのリスク分析に関する記述のうち、適切なものはどれか。