情報処理安全確保支援士試験 令和6年度 春期 午前II 問23

【正解】エ

形式手法は、数学や論理学を基礎とする、意味が明確かつ厳密に定義された形式言語を使って、システムやソフトウェアの仕様を記述する手法です。自然言語だけで記述した仕様には、曖昧さや解釈の違いが生じる可能性があります。形式手法では、仕様を数理的に表現することで、満たすべき安全性などの性質と仕様との間に矛盾がないか、論理的な推論、モデル検査、定理証明などによって検証できます。したがって、形式言語で仕様を記述して整合性を論理的に検証するエが適切です。

アの説明は誤りです。これはインスペクションの説明です。インスペクションは、モデレーターや記録役などの役割を定め、複数人で成果物の欠陥を検出する正式なレビュー手法です。 イの説明は誤りです。これはブラックボックステストの説明です。内部構造を意識せず、入力と出力の関係から仕様どおりに機能するかを確認します。 ウの説明は誤りです。これはホワイトボックステストの説明です。命令、分岐、経路などの内部構造に着目し、必要な部分が実行されたかを確認します。

【ポイント】 形式手法の中心は、数学的に厳密な仕様記述と論理的な検証です。 ブラックボックステストは外部仕様、ホワイトボックステストは内部構造に着目します。 形式手法を用いても、要求そのものの漏れまで自動的に発見できるとは限りません。