ГОСТ Р 53195.4—2010
- наличия несовместимости:
- между описанием проекта структуры ПО и специфицированными требованиями к безопас
ности ПО:
- между описанием проекта структуры ПО и специфицированными тестами интеграции струк
туры ПО;
- между специфицированными тестами интеграции структуры ПО и планированием подтвер
ждения соответствия безопасности ПО.
5.8.2.10 Верификация проекта системы ПО
После завершения спецификации системы ПО верификация должна проверить:
- удовлетворяет ли специфицированный проект системы ПО проекту структуры ПО:
- удовлетворяют ли специфицированные тесты интеграции системы ПО проекту системы ПО:
- адекватны ли атрибуты каждого основного компонента проекта системы ПО в отношении:
- реализуемости требуемых характеристик безопасности;
- возможности проверки при последующей верификации:
- понимания персоналом, выполняющим разработку и верификацию;
- безопасной модификации, позволяющей выполнять дальнейшее совершенствование про
граммы;
- наличия несоответствий:
- между специфицированным проектом системы ПО и описанием проекта структуры ПО;
- между описанием проекта системы ПО и специфицированными тестами интеграции систе
мы ПО;
- между тестами интеграции системы ПО и специфицированными тестами интеграции струк
туры.
5.8.2.11 Верификация проекта модулей ПО
После завершения разработки испецификации каждого программного модуля верификация долж
на обеспечить проверку;
- удовлетворяет ли специфицированный проект программного модуля проекту системы ПО;
- адекватны ли специфицированные проверки каждого программного модуля проекту программ
ного модуля;
- адекватны ли атрибуты каждого программного модуля в отношении:
- реализуемости требуемых характеристик безопасности;
- возможности проверки при последующей верификации;
- понимания персоналом, выполняющим разработку и верификацию;
- безопасной модификации, позволяющей выполнять дальнейшее совершенствование про
граммы;
- наличия несоответствий:
- между специфицированным проектом программного модуля и специфицированным проек
том системы ПО;
- между специфицированным проектом каждого программного модуля и специфицированны
ми тестами программных модулей;
- между специфицированными тестами программных модулей и специфицированными теста
ми интеграции системы ПО.
5.8.2.12 Верификация исходного текста
Для гарантирования соответствия исходного текста программы специфицированным проектам
программных модулей, необходимым стандартам кодирования и требованиям планирования безопас
ности исходный текст должен быть верифицирован с использованием статических методов.
П р и м е ч а н и е — На ранних стадиях жизненного цикла ПО верификация является статической (напри
мер. изучение, просмотр, формальная проверка и т.п.). Верификация исходного текста включает в себя такие мето
ды. как просмотр и прогон ПО. Сочетание положительных результатов верификации исходных текстов и
тестирова ния программных модулей гарантирует, что каждый программный модуль будет
соответствовать своей спецификации.
5.8.2.13 Верификация данных
При верификации данных должны быть предусмотрены следующие проверки:
- структуры данных, специфицированные во время проектирования, должны быть проверены в
части:
- полноты;
- согласованности;
22