Question

ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として，適切なものはどれか。

Accepted Answer

明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して，満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。。形式手法は，数学的・論理的に厳密な意味を持つ形式言語で仕様を記述し，満たすべき性質と仕様の整合性を論理的に検証する手法です。アはインスペクション，イはブラックボックステスト，ウはホワイトボックステストに該当します。

Answer

進行役（モデレーター），記録役などの役割を決めた複数人で，成果物に欠陥がないかどうかを検証する。

Answer

プログラムの内部構造とは無関係に，プログラムが仕様どおりに機能するかどうかを検証する。

Answer

プログラムの内部構造に着目し，プログラムが仕様どおりに動作するかどうかを検証する。

Answer

明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して，満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。