IPA公式正解：エ 明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して，満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【エ】です。形式手法（フォーマルメソッド）は、数学的・論理学的な厳密な言語を用いてソフトウェア仕様を記述し、論理的に検証する手法です。
【詳細解説】■ 本問の核心・解法のポイント
ソフトウェアの品質確保や検証における「形式手法」の定義を問う問題です。形式手法は数学的裏付けに基づいた厳密な仕様記述と検証を行うアプローチです。
・各選択肢の徹底解説：
・ア 進行役（モデレーター）、記録役などの役割を決めた複数人で…：これは「インスペクション」という公式なレビュー手法の説明です。
・イ プログラムの内部構造とは無関係に、プログラムが仕様どおりに機能するかどうかを検証する：これは「ブラックボックステスト（仕様駆動テスト）」の説明です。
・ウ プログラムの内部構造に着目し、プログラムが仕様どおりに動作するかどうかを検証する：これは「ホワイトボックステスト（構造駆動テスト）」の説明です。
・エ 明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して…【選択肢エ★】 ：正解です。形式手法の定義そのものであり、数学的モデルを用いて仕様と性質の整合性を証明します。
よって正解はエです。
