品質検証手法｜情報処理安全確保支援士試験 令和6年春期午前Ⅱ 問23
出典：令和6年春期 午前Ⅱ 問23
分野：システム開発技術 ／ 実装・構築
■25問中0問正解
■正答率：0%
ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として，適切なものはどれか。
- ア：進行役（モデレーター），記録役などの役割を決めた複数人で，成果物に欠陥がないかどうかを検証する。
- イ：プログラムの内部構造とは無関係に，プログラムが仕様どおりに機能するかどうかを検証する。
- ウ：プログラムの内部構造に着目し，プログラムが仕様どおりに動作するかどうかを検証する。
- エ：明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して，満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。