ГОСТ Р 57318—2016
6.6.1.2 Определение процедур верификации
В проекте следует предусмотреть определение процедур для каждого выбранного метода провер
ки, идентификацию целей и задач для каждой процедуры верификации, определение предварительных
и последующих мероприятий по испытаниям, а также определение критериев успеха или неудачи той
или иной процедуры при плановых и аварийных условиях.
6.6.1.3 Создание среды верификации
В проекте следует предусмотреть создание условий для реализации выбранных методов и уста
новленных процедур. Соображения при создании среды верификации связаны с основными средства
ми. оборудованием, инструментами, моделями, измерительными приборами, персоналом и климатиче
скими условиями. Эта среда должна быть проверена перед началом проведения верификации.
6.6.2 Оценка проведения верификации
В проекте следует предусмотреть проведение оценки верификации, предназначенной для под
тверждения того, что каждое требование иограничение прослеживаются вплотьдо верифицированной
функциональной архитектуры и проектный элемент решения отвечает утвержденной базовой линии
требований. Результаты верификации следует оценивать для гарантии того, что поведение, прогнози
руемое решениями для конструктивных элементов, было ожидаемым и удовлетворяло установленным
требованиям.
6.6.2.1 Верификация полноты архитектуры
В проекте необходимо проводить верификацию, что:
а) описания проектных элементов соотносятся с требованиями, предъявляемыми к функциональ
ной архитектуре {отслеживаются в восходящем порядке).
б) требования к функциональной архитектуре распределяются и соотносятся с проектной архи
тектурой.
Все внутренние и внешние проектные интерфейсы должны прослеживаться (в восходящем и нис
ходящем порядке) до исходных требований.
6.6.2.2 Верификация функциональных и эксплуатационных показателей
В проекте следует предусмотреть верификацию, что результаты оценки мероприятий, определен
ных в 6.6.1. отвечают функциональным и эксплуатационным требованиям (в том числе требованиям к
функциональной пригодности персонала) и утвержденной базовой линии требований.
6.6.2.3 Верификация соблюдения ограничений
Проект должен подтверждать, что:
а) результаты оценки деятельности, указанной в 6.6.1. отвечают ограничениям функциональной
архитектуры, в том числе ограничениям для интерфейсов:
б) ограничения для установленной проектной архитектуры прослеживаются вплотьдо утвержден
ной базовой линии требований.
6.6.3 Определение отклонений и конфликтов
В проекте следует предусмотреть определение отклонений и конфликтов (противоречий), возника
ющих в результате проведения мероприятий по верификации. Если эти отклонения показали незавер
шенность проекта, то следует повторитьпроцедуры синтеза (см. 6.5) или функционального анализа (см. 6.3)
для устранения выявленных пробелов. Если результаты оценки не подтверждают выполнение требова
ний кфункциональной архитектуре или если требования к архитектуре не соотносятся с функциональной
архитектурой, то следует определить, были ли в процессе синтеза введены требуомые функции и/или
требования к рабочим характеристикам либо к проектным элементам или были ли введены важные функ
циональные и/или эксплуатационные требования, которые должны быть отражены в функциональной
архитектуре. Первая ситуация будет свидетельствовать о необходимости повторного проведения синтеза
(см. 6.5) с целью устранения ненужных функций и/или требований к рабочим характеристикам. Для вто
рой ситуации с отклонениями и несоответствиями следует повторить анализ требований посредством
функциональной верификации (см. 6.1—6.4) для создания новой утвержденной базовой линии требова
ний и верифицированной функциональной архитектуры. Если требования к проектной архитектуре несо
относятся с утвержденной базовой линией требований, то это может потребовать повторения процедуры
синтеза для устранения ненужных функциональных и/или эксплуатационных требований или повторения
SEP-мероприятий (при необходимости) для введения недостающих требований.
6.6.4 Верифицированная проектная архитектура
Проектную архитектуру следует верифицировать на предмет возможности удовлетворительного
устранения отклонений и конфликтов (противоречий), выявленных согласно 6.4.3. Верифицированную
проектную архитектуру вместе с ее обоснованием, результатами анализа компромиссных решений и
51