IPA公式正解：ウ システムやソフトウェアが，要件定義書の記述内容を満たすか否かをチェックするための方法があり，チェック作業が妥当な費用内で行える。
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【ウ】です。要件が「検証可能（Verifiable）」であるとは、完成したシステムがその要件を満たしているかをテストやインスペクション等の具体的かつ有限なコスト・手段で確認・判定できることを指します。
【詳細解説】■ 本問の核心・解法のポイント
要件定義における要件の品質特性（完全性、無矛盾性、検証可能性、追跡可能性など）の理解を問う問題です。「検証可能性」とは、システムが要件を満たしているかどうかを客観的な手段（検査・テスト・分析など）によって合理的・妥当な費用と期間で確認・判定できる性質を意味します。
・各選択肢の徹底解説：
・ア：要件の「優先順位付け（重要度評価）」の例であり、検証可能性の説明ではありません。
・イ：ステークホルダの「識別性・追跡可能性」に関する記述であり、要件の検証可能性とは異なります。
・ウ：【選択肢ウ★】要件を満たすか否かをチェック（判定）する手段が存在し、かつそれが妥当な費用で実施可能であることは、要件が「検証可能」であることの的確な定義です。
・エ：ニーズの網羅性（完全性）を目指す姿勢ですが、実現可能性や検証可能性を無視しているため望ましい要件特性とも合致しません。
よって正解はウです。
