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

午前II 問23：形式手法って何？

形式手法は、システムの仕様を“数学のルールで書いた設計図”みたいに表して、その設計図が満たすべき条件と矛盾していないかを論理的にチェックする方法だよ。感覚や経験だけで確認するのではなく、数学的に厳密な言葉を使って「この仕様で本当に大丈夫？」を確かめるイメージだね。

この問題で問われていること

この問題では、形式手法がレビューやブラックボックス試験、ホワイトボックス試験とは違うものだと理解しよう。レビューは人が仕様や設計を読んで確認する方法、ブラックボックス試験は中身を見ずに入出力を確認する方法、ホワイトボックス試験は内部構造を見て確認する方法だよ。一方、形式手法は数学的に仕様そのものの正しさを検証する方法、という点がポイントだよ。

形式手法

曖昧さを排した形式仕様を使い、証明やモデル検査で検証する。

形式仕様\n+ 論理検証\n-> 性質確認

確認ポイント

• モデレーターを置くレビューではありません。
• 内部構造着目のテストとも別です。
• 厳密言語で仕様を書いて論理検証する説明を選ぶ。

正解

エ

出典

問題文と解答は IPA 公開の過去問題冊子・解答例を基にしています。

選択肢ア

これは不正解だよ。進行役や記録役を決めて複数人で成果物を確認するのは、みんなで書類を回し読みしてミスを探すインスペクションの説明だよ。形式手法は会議で目視確認する方法ではなく、数学っぽい厳密な言葉で仕様を書いて、矛盾や抜けがないか論理的に検証する方法だよ。

選択肢イ

これは不正解だよ。『成果物に欠陥がないかどうかを検証する』という流れなら、人が集まって資料を読み合わせるレビューやインスペクションの話だよ。形式手法は、人の目で探すというより、厳密なルールで書いた仕様を論理的にチェックするイメージだよ。

選択肢ウ

これは不正解だよ。中身を見ずに、入口に何を入れたら出口から何が出るかを見るのは、窓口で書類を出して期待どおり処理されるか確認するようなブラックボックステストだよ。形式手法は、外から動きを試すだけではなく、仕様そのものを厳密に書いて論理的に確かめる方法なんだ。

選択肢エ（正解）

これは不正解だよ。中身の作りを見ながら確認する方法は、料理でいうと完成した味だけでなくレシピや手順までチェックする感じで、ホワイトボックステストの説明なんだ。形式手法は、もっと数学のルールみたいに厳密な言葉で仕様を書いて、論理的に矛盾がないか確かめる方法だよ。