ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として，適切なものはどれか。
- 進行役（モデレーター），記録役などの役割を決めた複数人で，成果物に欠陥がないかどうかを検証する。
- プログラムの内部構造とは無関係に，プログラムが仕様どおりに機能するかどうかを検証する。
- プログラムの内部構造に着目し，プログラムが仕様どおりに動作するかどうかを検証する。
- 明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して，満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。
解答
エ
解説
形式手法は、数学的な厳密さで仕様を記述し、論理的な証明によって仕様と実装の整合性を検証する手法です。
- 進行役（モデレーター），記録役などの役割を決めた複数人で，成果物に欠陥がないかどうかを検証する。
ウォークスルーの説明です。 - プログラムの内部構造とは無関係に，プログラムが仕様どおりに機能するかどうかを検証する。
ブラックボックステストの説明です。 - プログラムの内部構造に着目し，プログラムが仕様どおりに動作するかどうかを検証する。
ホワイトボックステストの説明です。 - 明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して，満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。
適切です。
形式手法の説明です。
参考情報
分野・分類
| 分野 | テクノロジ系 |
| 大分類 | 開発技術 |
| 中分類 | ソフトウェア開発管理技術 |
| 小分類 | 開発プロセス・手法 |
出題歴
- SC 令和6年度春期 問23
