使用例
税計算モジュールは、検査と客観的証拠によって、その特定の意図された使用に対する要件を満たしていることを確認することで妥当性が確認されます。例えば、構築対象の法域において、所定の実世界の入力セットに対して税金を正しく計算できることなどです。証拠としては、受け入れテストの結果、ステークホルダーへのデモンストレーション、分析レポートなどがあります。妥当性確認は次の問いを投げかけます。正しいものを構築したか？
よくある質問
妥当性確認と検証の違いは何ですか？ 検証（ベリフィケーション）は、作業成果物が指定された要件を満たしていることを確認します。つまり「ものを正しく構築したか？」です。妥当性確認（バリデーション）は、特定の意図された使用または適用に対する要件が満たされたことを確認します。つまり「正しいものを構築したか？」です。どちらも客観的証拠を使用します。
どちらが先に行われますか？ 通常は検証が先で、レビューとコンポーネントテストを通じて行われます。妥当性確認はより高いレベルで続き、ユーザーによる受け入れテストで最高潮に達します。
妥当性確認は最後にだけ行われますか？ 受け入れレベルでの妥当性確認は最後に行われますが、妥当性確認の活動は全体を通じて行われます。製品が意図された使用を満たすことを確認するすべてのチェックが妥当性確認です。
受け入れテストは妥当性確認の一形態ですか？ はい。受け入れテストは、システムが受け入れ基準と意図された使用のための要件を満たしているという客観的証拠を提供します。
関連用語
- verification — ものを正しく構築したか？
- acceptance testing — ユーザーレベルの妥当性確認活動
- testing — 妥当性確認が依存する全体的なプロセス
- review — 検証の技法
- test oracle — 妥当性確認で使用される期待結果の源泉
- traceability — 要件とテストを結びつける証拠の連鎖
