Валидация в информатике
Валида́ция в информатике, проверка соответствия любых создаваемых или используемых в ходе разработки и сопровождения программного обеспечения (ПО) артефактов нуждам и потребностям пользователей и заказчиков этого ПО, с учётом законов предметной области и ограничений контекста использования ПО. Эти нужды и потребности чаще всего не зафиксированы документально – при фиксации они превращаются в описание требований, один из артефактов процесса разработки ПО. Поэтому валидация является менее формализованной деятельностью, чем верификация. Она всегда проводится с участием представителей заказчиков, пользователей, бизнес-аналитиков или экспертов в предметной области – тех, чьё мнение можно считать достаточно хорошим выражением реальных нужд и потребностей пользователей, заказчиков и других заинтересованных лиц.
Важно отметить, что объектом валидации может быть не только конечный продукт, но и исходные или промежуточные материалы проекта, например, физическая модель, на основе которой потом будут строиться математическая модель и система расчётов. При оценке адекватности исходной физической модели приходится опираться на опыт и интуицию специалистов. Чётких критериев проверки правильности физической модели на фазе проектирования ещё может не быть. Поэтому в этот момент, привлекая экспертов, приходится проводить валидацию (Кулямин В. В. Методы верификации программного обеспечения // Институт системного программирования им. В. П. Иванникова РАН. – Дата публикации: 2008).