ГОСТ Р МЭК 61508-3—2007
b
) удовлетворяютли специфицированныетесты интеграции системы программногообеспечения
(см. 7.4.5) проекту системы программного обеспечения (см. 7.4.5).
c) адекватность атрибутов каждого основного компонента проекта системы программного обес
печения (см. 7.4.5) по отношению к:
- реализуемости тробуемых характеристик безопасности,
- возможности проверки при последующей верификации,
- пониманию персоналом, выполняющим разработку и верификацию,
- безопасной модификации, позволяющей выполнять дальнейшее развитие программы.
П р и м е ч а н и е — Проверки интеграции системы программного обеспечения могут быть определены как
часть проверок интеграции архитектуры программного обеспечении.
d) наличие несоответствий между:
- специфицированным проектом системы программногообеспечения (см. 7.4.5) и описанием про
екта архитектуры программного обеспечения (см. 7.4.3).
- описанием проекта системы программного обеспечения (см. 7.4.5) и специфицированными тес
тами интеграции системы программного обеспечения (см. 7.4.5).
- тестами интеграции системы программного обеспечения (см. 7.4.5) испецифицированными тес
тами интеграции архитектуры (см. 7.4.3).
7.9.2.11 Верификация проекта модулей программного обеспечения
Послетого, какопределенпроект каждогопрограммного модуля, верификациядолжна проверить:
a) удовлетворяет ли специфицированный проект программного модуля (см. 7.4.5) проекту сис
темного программного обеспечения (см. 7.4.5);
b
) адекватны ли специфицированные проверки каждого программного модуля (см. 7.4.5) проекту
программного модуля (см. 7.4.5):
c) адекватность атрибутов каждого программного модуля по отношению к:
- реализуемости требуемых характеристик безопасности (см. 7.2),
- возможности проверки при последующей верификации,
- пониманию персоналом, выполняющим разработку и верификацию.
- безопасной модификации, позволяющей выполнять дальнейшее развитие программы;
d) наличие несоответствий между:
- специфицированным проектом программного модуля (см. 7.4.5) и специфицированным проек
том системы программного обеспечения (см. 7.4.5),
- специфицированным проектом каждого программного модуля (см. 7.4.5) и специфицированны
ми проверками программных модулей (см. 7.4.5),
- специфицированными проверками программных модулей (см. 7.4.5) и специфицированными
проверками интеграции системы программного обеспечения (см. 7.4.5).
7.9.2.12 Верификация исходного текста
Исходный текстдолжен быть верифицирован статическими методами для того, чтобы гарантиро
вать соответствие специфицированным проектам программных модулей (см. 7.4.5), необходимым
стандартам кодирования (см. 7.4.4) и требованиям планирования безопасности (см. 7.3).
П р и м е ч а н и е — На ранних стадиях жизненного цикла безопасности программного обеспечения верифи
кация является статической (например, изучение, просмотр, формальная проверка и т.п ). Верификация исходного
текста вкпючает такие методы, как просмотр и прогон программного обеспечения. Сочетание результатов
верифи кации исходных текстов и проверок программного обеспечения гарантирует, что каждый программный
модуль будет удовлетворять своей спецификации
7.9.2.13 Верификация данных
a) Структуры данных, специфицированные во времяпроектирования, должны быть проверены на:
- полноту:
- согласованность,
- защиту от изменения или повреждения;
- соответствие функциональным требованиям системы, управляемой данными.
b
) Прикладные данные должны быть проворены на:
- соответствие структурам данных;
- полноту;
- совместимость с базовым программным обеспечением (например, последовательность испол
нения. совместимость на этапе исполнения и др.) и
- правильность значений данных.
27