形式手法とモデル駆動開発（MDA）とは？
形式手法とモデル駆動開発（MDA）とは、形式手法は、仕様を数学的な記法で厳密に書き、性質の証明やモデル検査で欠陥を設計段階で除く手法。VDMやZ記法が代表。MDAは、実装技術に依存しないモデル（PIM）を作り、変換規則で技術依存モデル（PSM）やコードを生成する考え方で、モデルを正とする点が共通する。
けいしきしゅほうともでるくどうかいはつ
形式手法とモデル駆動開発（MDA）の意味
形式手法は、仕様を数学的な記法で厳密に書き、性質の証明やモデル検査で欠陥を設計段階で除く手法。VDMやZ記法が代表。MDAは、実装技術に依存しないモデル（PIM）を作り、変換規則で技術依存モデル（PSM）やコードを生成する考え方で、モデルを正とする点が共通する。
形式手法とモデル駆動開発（MDA）の具体例
鉄道の連動装置や医療機器のように、テストで網羅しきれず障害が人命に関わる領域では形式手法の投資が見合う。MDAは、同じ業務モデルからWeb版とモバイル版の骨格を生成するといった使い方で、実装技術の入れ替えコストを下げる狙いがある。
形式手法とモデル駆動開発（MDA）は試験でどう引っ掛けられる？
形式手法は「テストを不要にする」ものではなく、仕様の記述が正しいことは保証しない（仕様そのものの誤りは残る）。また習得コストが高く適用範囲が限られる。MDAも生成コードを手で直し始めるとモデルとの乖離が生じ、利点が失われる。
形式手法とモデル駆動開発（MDA）と関連する用語
最終更新：2026-08-25／解説は資格暗記が独自に作成しています。 過去問の出典は各問題に記載のとおりです。