ソフトウェアの品質を確保するための検証に形式手法を用いる。 この時行う検証方法の説明として、適切なものはどれか。
| ア | 進行役(モデレーター)、記録係などの役割を決めた複数人で、成果物に欠陥がないかどうかを検証する。 |
| イ | プログラムの内部構造とは無関係に、プログラムが仕様どおりに機能するかどうかを検証する。 |
| ウ | プログラムの内部構造に着目し、プログラムが仕様どおりに機能するかどうかを検証する。 |
| エ | 明確で厳密な意味を定義することができる言語を用いてソフトウェアの使用を記述して、満たすべき性質としようが整合しているかどうかを論理的に検証する。 |
答え エ
【解説】
| ア | 進行役(モデレーター)、記録係などの役割を決めた複数人で、成果物に欠陥がないかどうかを検証するのは、レビュー手法のインスペクションです。(×) |
| イ | プログラムの内部構造とは無関係に、プログラムが仕様どおりに機能するかどうかを検証するのは、ブラックボックステストです。(×) |
| ウ | プログラムの内部構造に着目し、プログラムが仕様どおりに機能するかどうかを検証するのは、ホワイトボックステストです。(×) |
| エ | 明確で厳密な意味を定義することができる言語を用いてソフトウェアの使用を記述して、満たすべき性質としようが整合しているかどうかを論理的に検証するのは、形式手法です。(〇) |
【キーワード】
・形式手法
- 形式手法
ソフトウェアの開発法で、数理論理学に基づく科学的な裏付けを持つ明確で厳密な意味を持つ言語で設計対象を表現することで、ソフトウェアが高い信頼性を持つことを保証します。
もっと、「形式手法」について調べてみよう。
戻る
一覧へ
次へ