Процессы ЖЦ верификация и валидация программ

Верификация и валидация, как методы, обеспечивают соответственно проверку и анализ правильности выполнения заданных функций и соответствия ПО требованиям заказчика, а также заданным спецификациям. Они представлены в стандартах [7.7-7.8] как самостоятельные процессы ЖЦ и используются, начиная от этапа анализа требований и кончая проверкой правильности функционирования программного кода на заключительном этапе, а именно, тестировании.
Для этих процессов определены цели, задачи и действия по проверке правильности создаваемого продукта (рабочие, промежуточные продукты) на этапах ЖЦ. Рассмотрим их трактовку в стандартном представлении.
Процесс верификации.Цель процесса - убедиться, что каждый программный продукт (и/или сервис) проекта отражает согласованные требования к их реализации. Этот процесс основывается:
· на стратегии и критериях верификации применительно ко всем рабочим программным продуктам;
· на выполнении действий стандарта по верификации;
· на устранении недостатков, обнаруженных в программных (рабочих и промежуточных) продуктах;
· на согласовании результатов верификации с заказчиком.
Процесс верификации может проводиться исполнителем программы или другим сотрудником той же организации, или сотрудником другой организации, например заказчиком. Этот процесс включает в себя действия по его внедрению и выполнению.
Внедрение процесса заключается в определении критических элементов (процессов и программных продуктов), которые должны подвергаться верификации, в выборе исполнителя верификации, инструментальных средств поддержки процесса верификации, в составлении плана верификации и его утверждении. В процессе верификации выполняются задачи проверки условий: контракта, процесса, требований, интеграции, проекта, кода и документации.При верификации согласно плану и требований заказчика проверяется правильность выполнения функций системы, интерфейсов и взаимосвязей компонентов, а также доступа к данным и к средствам защиты.
Процесс валидации. Цель процесса - убедиться, что специфические требования для программного продукта выполнены, и осуществляется это с помощью:
· разработанной стратегии и критериев валидации для всех рабочих продуктов;
· оговоренных действий по проведению валидации;
· демонстрации соответствия разработанных программных продуктов требованиям заказчика и правилам их использования;
· согласования с заказчиком полученных результатов валидации.
Процесс валидации может проводиться самим исполнителем или другим лицом, например, заказчиком, осуществляющим действияпо внедрению и проведению этого процесса по плану, в котором отражены элементы и задачи проверки. При этом используются методы, инструментальные средства и процедуры выполнения задач процесса для установления соответствия тестовых требований и особенностей использования программных продуктов проекта.
На других процессах ЖЦ выполняются дополнительные действия:
· проверка и контроль проектных решений с помощью методик и процедур просмотра хода разработки;
· обращение к CASE-системам [7.10], которые содержат процедуры проверки требований к продукту;
· просмотры и инспекции промежуточных результатов на соответствие их требованиям для подтверждения того, что ПО имеет корректную реализацию требований и удовлетворяет условиям выполнения системы.
Таким образом, основные задачи процессов верификации и валидации состоят в том, чтобы проверить и подтвердить, что конечный программный продукт отвечает назначению и удовлетворяет требованиям заказчика. Эти процессы взаимосвязаны и определяются, как правило, одним общим термином "верификация и валидация" или "Verification and Validation" (V&V) [7.7].
V&V основаны на планировании их как процессов, так и проверки для наиболее критичных элементов проекта: компонент, интерфейсов (программных, технических и информационных), взаимодействий объектов (протоколов и сообщений), передач данных между компонентами и их защиты, а также оставленных тестов и тестовых процедур.
После проверки отдельных компонентов системы проводятся их интеграция и повторная верификация и валидацияинтегрированной системы, создается комплект документации, отображающий правильность проверки формирования требований, результатов инспекций и тестирования.