Верификация и валидация

Понятие проверки можно подразделить на верификацию и валидацию.

Термин "верификация" (verification) в русскоязычной литературе обычно переводят, как "проверка".

Термин "валидация" - как "проверка правильности", "аттестация", "утверждение".

Согласно стандарту IЕЕЕ 1012-1986

-верификация представляет собой процесс оценивания системы или компонента с целью определить, удовлетворяют ли результаты некой фазы условиям, наложенным в начале данной фазы;

-валидация определяется, как процесс оценивания системы или компонента во время или по окончании процесса разработки с целью определить, удовлетворяет ли она указанным требованиям.

Отличия:

1) верификация связана с выяснением того, удовлетворяет ли разрабатываемый объект, либо процесс его создания сформулированным требованиям;

2) валидация отвечает на вопрос - правильно ли разработан целевой объект (продукт), удовлетворяет ли он потребностям заказчика. Другой аспект валидации заключается в том, что она обычно увязывается с формальной приемкой (аттестацией) системы.

Т.о. валидация предполагает, что требования изменяются до последнего момента.

Стандарт IEEE 1059-93 "IEEE Guide for Software Verification and Validation Plans” обобщает понятие V&V (Validation and Verification).

Согласно ему верификация и валидация программного обеспечения - упорядоченный подход в оценке программных продуктов, применяемый на протяжении всего жизненного цикла.

Верификация и валидация направлены на обеспечение качества как неотъемлемой характеристики программного обеспечения и удовлетворение пользовательских требований.

Осуществить верификацию и валидацию АИС и (или) процесса ее создания означет, что:

- АИС (компонента, процесс) соответствует сформулированным требованиям;

-АИС действительно работает.

…действительно.. выполнить верификацию, необходимо:

1) Обеспечить удовлетворение требований свойствам, сформулированным ранее (полнота, трассируемость и др);

2)Убедится в том, что

-в спецификации требований к ПО должным образом описаны предполагаемые возможности и характеристики системы, которые удовлетворят потребности различных заинтересованных в проекте лиц,точно отражают системные требования, бизнес-правила и др.;

-требования обеспечивают качественную основу для проектирования и сборки ПО.

Некоторые типичные проблемные ситуации процесса формирования и оценки требований