ГОСТ Р ИСО/МЭК12207—2010
ветствующие методы, технические приемы и инструментарий для выполнения задач, должны быть выбра
ны взависимости от конечных целей действий втечение жизненного цикла и программных продуктов.
7.2.4.3.1.5 Должен быть разработан и документально оформлен план проведения верификации на
основе установленных задач верификации. План должен содержать действия втечение жизненного цикла и
предмет верификации программных продуктов, необходимые задачи по верификации для каждого дей
ствия втечение жизненного цикла и программного продукта, связанные с ними ресурсы, ответственность и
графики проведения работ. План должен предусматривать процедуры направления отчетов о верификации
приобретающей стороне идругим заинтересованным организациям.
7.2.4.3.1.6 Должен быть реализован план проведения верификации. Проблемы и несоответствия,
обнаруженные при проведении верификации, должны служить входами в процесс решения проблем
(см. 7.2.8). Все возникшие проблемы должны быть решены, а обнаруженные несоответствия устранены.
Результаты действий по верификации должны быть доступны приобретающей стороне идругим заинтере
сованным организациям.
7.2.4.3.2 Верификация
Данный вид деятельности состоит из решения следующих задач:
7.2.4.3.2.1 Верификация требований. Требования должны быть верифицированы с учетом следующих
критериев:
a) системные требования являются согласованными, выполнимыми итестируемыми;
b
)системные требования соответственно распределены по техническим, программным элементам и
ручным операциям согласно критериям проекта;
c) требования к программным средствам согласованы, выполнимы, проверяемы и точно отражают
системные требования;
d) требования к программным средствам, связанные с безопасностью, защитой и критичностью, яв
ляются корректными, что показано соответствующими строгими методами.
7.2.4.3.2.2 Верификация проекта
Проект должен быть верифицирован с учетом следующих критериев:
a) проект корректируется, согласуется с требованиями иобеспечивает прослеживаемость к ним;
b
) проект осуществляет надлежащую последовательность событий, входы, выходы, интерфейсы,
логические связи, назначение сроков и размеров финансирования, а также обнаружение ошибок, локали
зацию и восстановление;
c) выбранный проект может быть выведен из требований;
d) проект корректно реализует требования по безопасности, защищенности и другим критическим
свойствам, как показано соответствующими строгими методами.
7.2.4.3.2.3 Верификация кода
Код должен быть верифицирован с учетом следующих критериев:
a) код является следствием проекта итребований тестируемости, правильности и соответствует уста
новленным требованиям и стандартам, относящимся к кодированию;
b
) код осуществляет надлежащую последовательность событий, согласованные интерфейсы, кор
ректные данные и поток команд управления, завершений, адекватного распределения времени и размеров
финансирования, а также определение ошибок, локализацию и восстановление;
c) выбранный код может следовать из проекта или требований;
d) код корректно реализует требования по безопасности, защищенности идругим критическим свой
ствам, как показано соответствующими строгими методами.
7.2.4.3.2.4 Верификация комплексирования
Комплексирование должно быть верифицировано с учетом перечисленных ниже критериев:
a) программные компоненты и модули каждого программного элемента полностью и корректно комп-
лексируются в программный элемент.
b
)технические и программные элементы, а также ручные операции системы комплексируются в сис
тему;
c) задачи комплексирования выполняются в соответствии с планом комплексирования.
7.2.4.3.2.5 Верификация документации
Документация должна быть верифицирована с учетом перечисленных ниже критериев:
a) документация является адекватной, полной и согласованной;
b
) подготовка документации осуществляется своевременно;
c) менеджмент конфигурации документов следует установленным процедурам.
59