品質検証手法｜情報処理安全確保支援士試験 令和6年春期午前Ⅱ 問23
出典：令和6年春期 午前Ⅱ 問23
分野：システム開発技術 ／ 実装・構築
ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として，適切なものはどれか。
- ア：進行役（モデレーター），記録役などの役割を決めた複数人で，成果物に欠陥がないかどうかを検証する。
- イ：プログラムの内部構造とは無関係に，プログラムが仕様どおりに機能するかどうかを検証する。
- ウ：プログラムの内部構造に着目し，プログラムが仕様どおりに動作するかどうかを検証する。
- エ：明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して，満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。
TSUNAGARU-ADVICE
まず押さえたいこと
形式手法は、仕様をあいまいな自然言語だけで書くのではなく、厳密な意味を定義できる言語で記述し、論理的に検証する手法です。
迷ったときの判断軸
複数人で成果物を確認するのはレビュー、内部構造を見ない検証はブラックボックステスト、内部構造に着目する検証はホワイトボックステストです。形式手法は、仕様と満たすべき性質が整合しているかを数学的・論理的に確認するものと整理すると判断しやすくなります。
科目Bにつなげるために
科目Bでは、検証方法を名前で覚えるだけでなく、人による確認なのか、実行によるテストなのか、仕様を論理的に検証するのかを切り分ける力が問われます。形式手法は、高い信頼性が求められるシステムで、仕様段階の矛盾や漏れを厳密に確認する考え方として理解しておきましょう。※開発関連試験向け
形式手法は、数学的に厳密な記法や論理を用いて、ソフトウェアの仕様や設計が満たすべき性質と整合しているかを検証する手法です。
曖昧さを排除できる形式言語を用いて仕様を記述し、論理的な検証によって欠陥や矛盾を発見します。
したがって、エが適切です。
❌他選択肢が誤りの理由ア：進行役（モデレーター），記録役などの役割を決めた複数人で，成果物に欠陥がないかどうかを検証する。
⇒インスペクションの説明です。形式手法は、数学的・論理的な記述と検証を用いる手法です。
イ：プログラムの内部構造とは無関係に，プログラムが仕様どおりに機能するかどうかを検証する。
⇒ブラックボックステストの説明です。形式手法の説明ではありません。
ウ：プログラムの内部構造に着目し，プログラムが仕様どおりに動作するかどうかを検証する。
⇒ホワイトボックステストの説明です。形式手法の説明ではありません。