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