ГОСТ Р МЭК 61508-3—2007
b
) информацияоб адекватности планирования подтверждения соответствия и проверок, опреде
ленных для стадии N. определению и описанию проекта стадии N;
c) результаты несоответствия между.
- проверками, определенными для стадии N. и проверками, определенными для предыдущей
стадии N-1,
- выходными данными стадии N.
7.9 2.7 С учетом 7.1.2.1 должны быть выполнены следующие операции верификации:
a) верификация требований к безопасности программного обеспечения (см. 7.9.2.8):
b
) верификация архитектуры программного обеспечения (см. 7.9.2.9):
c) верификация проекта системы программного обеспечения (см. 7.9.2.10);
d) верификация проектов программных модулей (см. 7.9.2.11);
e) верификация исходных текстов программ (см. 7.9.2.12):
f) верификация данных (см. 7.9.2.13);
д) тестирование программных модулей (см. 7.4.7);
h) тестирование интеграции программного обеспечения (см. 7.4.8);
i) тестирование интеграции программируемой электроники (см. 7.5);
j) тестирование требований к безопасностипрограммного обеспечения (подтверждение соответ
ствия программного обеспечения) (см. 7.7).
7.3.2.8 Верификация требований к безопасности программного обеспечения
Когда определены требования к безопасности программного обеспечения (см. 7.2) и передследу
ющей стадией начато проектирование и разработка программного обеспечения, верификация должна
проверять:
a) соответствуют ли требования к безопасности программного обеспечения (см. 7.2) требовани
ям к безопасности E/E/PES систем (МЭК 61508-2) в отношении функциональности, безопасности,
полноты, характеристик и других требований к планированию безопасности:
b
) соответствует ли планирование подтверждения соответствия программ для обеспечения
безопасности (см. 7.3) требованиям к безопасности программного обеспечения (см. 7.2);
c) наличие несоответствия между:
- специфицированными требованиями к безопасности программного обеспечения (см. 7.2) и
специфицированными требованиями к безопасности Е/Е/РЕ систем (МЭК 61508-2).
- специфицированными требованиями к безопасности программного обеспечения (см. 7.2) и
планированием подтверждения соответствия безопасности программного обеспечения
(см. 7.3).
7.3.2.9 Верификация архитектуры программного обеспечения
После того, какустановлена спроектированная архитектура программного обеспечения, верифи
кация должна проверить:
a) удовлетворяетли описание проекта архитектуры программногообеспечения (см. 7.4.3) специ
фицированным требованиям к безопасности программного обеспечения (см. 7.2):
b
) адекватны ли специфицированные проверки интеграции архитектуры программногообеспече
ния (см. 7.4.3) описанию проекта архитектуры программного обеспечения (см. 7.4.3);
c) адекватность атрибутов каждого основного компонентаЛюдсистемы по отношению к:
- реализуемости требуемых характеристик безопасности.
- возможности проверки при последующей верификации.
- пониманию персоналом, выполняющим разработку и верификацию.
- безопасной модификации, позволяющей выполнять дальнейшее развитие программы:
d) наличие несовместимости между.
- описанием проекта архитектуры программного обеспечения (см. 7.4.3) и специфицированны
ми требованиями к безопасности программного обеспечения (см. 7.2).
- описанием проекта архитектуры программногообеспечения (см. 7.4.3) и специфицированны
ми тестами интеграции архитектуры программного обеспечения (см. 7.4.3).
- специфицированными тестами интеграции архитектуры программного обеспечения
(см. 7.4.3) и планированием подтверждения соответствия безопасности программного обес
печения (см. 7.3).
7.9.2.10 Верификация проекта системы программного обеспечения
После завершения спецификации системы программногообеспечения верификациядолжна про
верить:
а) удовлетворяетли специфицированный проект системы программного обеспечения (см. 7.4.5)
проекту архитектуры программного обеспечения (см. 7.4.3);
26