ГОСТРМЭК 62061—2015
друг с другом и со встроенным программным обеспечением для выполнения функций, для которых
они предназначены, и не выполняют непредусмотренных функций, которые могли бы угрожать любой
функции безопасности.
6.11.3.8.2 Результаты проверки интеграции прикладного программного обеспечения необходимо
документально оформить, в них следует сформулировать:
- результаты проверки;
- были ли выполнены цели и критерии проверки.
6.11.3.8.3 Если тестирование окончилось неудачно, то причины неудачи и предпринятые коррек
тирующие действия должны быть включены в документацию по результатам испытаний.
6.11.3.8.4 При интеграции прикладного программного обеспечения все модификации или изме
нения программного обеспечения должны быть объектом анализа влияния на безопасность, который
должен определить:
- все программные модули, затрагиваемые изменениями;
- все необходимые действия для повторных верификации и проектирования.
6.12 Интеграция и тестирование СБЭСУ
Примечание — Интеграция СБЭСУ обычно проводится до установки, но в некоторых случаях интегра
ция СБЭСУ не может быть осуществлена до окончания установки (например, если разработка прикладного про
граммного обеспечения не завершена).
6.12.1 Общие требования
6.12.1.1 СБЭСУ должна быть интегрирована в соответствии с конкретным проектом СБЭСУ. В рам
ках интеграции все подсистемы и элементы подсистем СБЭСУ, СБЭСУ должны быть испытаны в со
ответствии с конкретными тестами интеграции. Эти испытания должны показать, что все модули вза
имодействуют правильно для выполнения функций, для которых они предназначены и не выполняют
непредусмотренных функций.
6.12.1.2 Интеграция связанного с безопасностью программного обеспечения в СБЭСУ включает
тесты, которые определяются на стадии проектирования и разработки, для обеспечения совместимо
сти программного обеспечения с аппаратными средствами и встроенной платформой программного
обеспечения так. чтобы были выполнены функциональные требования и требования безопасности.
Примечания
1. Тестирование всех входных комбинаций не проводится. Считается достаточным тестирование всех клас
сов эквивалентности (см. В.5 и С.5.7 МЭК 61508-7). Статический анализ, динамический анализ или анализ отказов
могут сократить число испытаний до приемлемого уровня. Использование структурного проектирования или полу
формальных методов упрощает выполнение тестирования и верификации.
2 Использование структурного проектирования или полуформальных методов может позволить уменьшить
глубину и количество тестов.
3 Статистические данные также могут быть использованы для уменьшения глубины и количества тестов.
6.12.1.3 Для тестирования интеграции СБЭСУ должна быть разработана соответствующая до
кументация, устанавливающая результаты испытаний и определяющая достигнуты ли цели и кри
терии. определенные на стадиях проектирования и создания систем. В случав отказа должны быть
документально оформлены его причины, выполнены действия по его корректировке и повторное те
стирование.
6.12.1.4 В период интеграции и испытаний любые модификации или изменения СБЭСУ должны
стать предметом анализа, при котором следует идентифицировать все компоненты, на которые влияют
эти модификации или изменения, и дополнительных проверок.
6.12.1.5 При испытаниях интеграции СБЭСУ должна быть документально оформлена следующая
информация:
a) версия спецификации испытаний;
b
) критерии принятия испытаний интеграции;
c) версия испытуемой СБЭСУ;
d) используемые средства испытаний и оборудование с датой поверки:
e) результаты каждого испытания.
f) любое несоответствие между ожидаемыми и фактическими результатами;
д) проведенный анализ и принятое решение о продолжении испытаний или выпуске запроса на
изменение (при наличии несоответствия).
42