Верификация и валидация - это методы анализа, проверки спецификаций и правильности выполнения программ в соответствии с заданными требованиями и формальным описанием программы [6.19, 6.20].
Верификация помогает сделать заключение о корректности созданной программной системы после завершения ее разработки.Валидация позволяет установить выполнимость заданных требований путем их просмотра, инспекции и оценки результатов проектирования на этапах ЖЦ для подтверждения того, что проводится корректная реализация требований, соблюдение заданных условий и ограничений к системе. Верификация и валидация обеспечивают проверку полноты, непротиворечивости и однозначности спецификации и правильности выполнения функций системы в соответствии с требованиями.
Верификации и валидации подвергаются:
· тесты, тестовые процедуры и входные наборы данных.
· компоненты системы и их интерфейсы (программные, технические и информационные) и взаимодействия объектов (протоколы, сообщения) в распределенных средах;
· описание доступа к БД, средства защиты от несанкционированного доступа к данным разных пользователей;
· документация на систему.
Иными словами, основные систематические методы обеспечения правильности программ - верификация компонентов и валидациятребований путем инспектирования для установления соответствия программы заданным спецификациями и требованиям.