2024 春 午前II 問23

ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として、 適切なものはどれか。

解説

IPA 公式公開の過去問です。

解答例や採点講評と合わせて根拠を確認してください。

選択肢

• ア: 進行役 (モデレーター)、 記録役などの役割を決めた複数人で、 成果物に欠陥が
• イ: ないかどうかを検証する。
• ウ: プログラムの内部構造とは無関係に. プログラムが仕様どおりに機能するかどうかを検証する。
• エ: プログラムの内部構造に着目し、 プログラムが仕様どおりに動作するかどうかを検証する。