未分類
春期
情報処理安全確保支援士 2024年 春期 問23
23 / 25
ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証 方法の説明として、適切なものはどれか。
正解と解説
表示する
正解 エ
明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記 述して、満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。 ー 11_
形式手法は、意味を厳密に定義できる言語でソフトウェア仕様を記述し、満たすべき性質と仕様の整合性を論理的に検証する手法です。アはインスペクション、イはブラックボックステスト、ウはホワイトボックステストで、論理的検証を行うエが正解です。