問23
ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証 方法の説明として、適切なものはどれか。
進行役(モデレーター)、記録役などの役割を決めた複数人で、成果物に欠陥が ないかどうかを検証する。
プログラムの内部構造とは無関係に,プログラムが仕様どおりに機能するかどう かを検証する。
プログラムの内部構造に着目し,プログラムが仕様どおりに動作するかどうかを 検証する。
明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記 述して、満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。 ー 11_
