規定された要求事項がその記述された仕様に対して適切であることを検証すること