A-1開発・運用の方法論 · 開発関連の設計手法

形式手法

Formal Methods

けいしきしゅほう

数学的に厳密な表記と論理に基づいて、システムの仕様を記述し、その正しさを検証する手法の総称。仕様を形式的に書く形式仕様記述と、モデル検査や定理証明による検証があり、鉄道、航空、ICカードなど高い信頼性が求められる分野で使われる。

共有:

他の資格での定義

数学的手法を用いてソフトウェアやシステムの正しさを厳密に記述・検証する手法。モデル検査（全状態の網羅的検証）や定理証明が含まれる。安全重要システムの仕様記述や設計検証に使用され、IEC 61508でも推奨されている。

Past Exams

過去問で 1 回出題（情報処理安全確保支援士試験 1）

出典: 独立行政法人情報処理推進機構（IPA）の過去問題。問題文は IPA のサイトの PDF で確認できます。用語名で照合しているため、関係の薄い問題が含まれることがあります。