ГОСТ Р МЭК 61508-3—2012
7.9.27В соответствии с выбором жизненного цикла разработки программного обеспечения (см.
подраздел 7.1) должны быть выполнены:
a) верификация требований к программному обеспечению системы безопасности;
b
) верификация архитектуры программного обеспечения;
c) верификация проекта системы программного обеспечения;
d) верификация проектов программных модулей;
e) верификация исходных текстов программ:
0 верификация данных;
д) тестирование программных модулей (см. 7.4.7);
h) тестирование интеграции программного обеспечения (см. 7.4.8).
i) тестирование интеграции программируемой электроники (см. 7.5);
j) подтверждение соответствия аспектов программного обеспечения системы безопасности (см. 7.7).
Примечание — Требования поперечислениям а)— д)представлены ниже.
7.9.2.8Верификация требований к программному обеспечению системы безопасности, после
определения требований к программному обеспечению системы безопасности и перед началом сле
дующей стадии проектирования и разработки программного обеспечения, верификация должна про верять:
a) соответствует ли спецификация требований к программному обеспечению системы безопас
ности спецификации требований к Э/Э/ПЭ системе безопасности (см. подразделы 7.10 МЭК 61508-1 и
7.2 МЭК 61508-2) в отношении функциональности, полноты безопасности, характеристик и других
требований к планированию системы безопасности;
b
) соответствует ли план подтверждения соответствия аспектов программного обеспечения безо
пасности системы спецификации требований к программному обеспечению системы безопасности;
c) наличие несовместимости между:
1) спецификацией требований к программному обеспечению системы безопасности и спе
цификацией требований к Э/Э/ПЭ системе безопасности (см. подразделы 7.10 МЭК 61508-1 и 7.2
МЭК 61508-2);
2) спецификацией требований к программному обеспечению системы безопасности и планом
подтверждения соответствия аспектов программного обеспечения безопасности системы.
7.9.2.ЭВерификация архитектуры программного обеспечения: после того как выполнен проект
архитектуры программного обеспечения, верификация должна проверить:
a) соответствует ли проект архитектуры программного обеспечения спецификации требований к
программному обеспечению системы безопасности;
b
) адекватны ли проверки интеграции, специфицированные в проекте архитектуры программного
обеспечения,
c) адекватность атрибутов каждого основного элемента/лодсистемы по отношению к:
1) реализуемости требуемых характеристик системы безопасности,
2) возможности проверки при последующей верификации,
3) пониманию персоналом, выполняющим разработку и верификацию,
4) модификации системы безопасности, позволяющей выполнять дальнейшее развитие про
граммы;
d) наличие несовместимости между:
1) описанием проекта архитектуры программного обеспечения и спецификацией требований к
программному обеспечению системы безопасности,
2) описанием проекта архитектуры программного обеспечения и специфицированными теста
ми интеграции архитектуры программного обеспечения,
3) специфицированными тестами интеграции проекта архитектуры программного обеспечения
и планом подтверждения соответствия аспектов программного обеспечения безопасности системы.
7.9.2.10 Верификация проекта системы программного обеспечения: после завершения проекти
рования системы программного обеспечения верификация должна проверить:
a) соответствует ли проект системы программного обеспечения (см. 7.4.5) проекту архитектуры
программного обеспечения;
b
) соответствуют ли специфицированные тесты интеграции системы программного обеспечения
(см. 7.4.5) проекту системы программного обеспечения (см. 7.4.5);
35