ГОСТ РМЭК 62061—2013
6.12.1.4 В период интеграции и испытаний любые модификации или изменения СБЭСУ должны
стать предметом анализа, при котором следует идентифицировать все компоненты, на которые влияют
эти модификации или изменения, и дополнительных проверок.
6.12.1.5 При испытаниях интеграции СБЭСУ должна быть документально оформлена следующая
информация:
a) версия спецификации испытаний;
b
) критерии принятия испытаний интеграции;
c) версия испытуемой СБЭСУ;
d) используемые средства испытаний и оборудование с датой поверки;
e) результаты каждого испытания;
0 любое несоответствие между ожидаемыми и фактическими результатами;
д) проведенный анализ и принятое решение о продолжении испытаний или выпуске запроса
на изменение (при наличии несоответствия).
6.12.2Тесты, определяющие систематическую полноту безопасности в процессе интегра
ции СБЭСУ
6.12.2.1 Для того чтобы выявить неисправности и избежать сбои в процессе интеграции прикладно
го программного обеспечения и аппаратных средств применяется тестирование. В ходе испытаний дол
жен быть выполнен анализ, чтобы убедиться, что заданные характеристики СБЭСУ были достигнуты.
6.12.2.2 Должны быть выполнены следующие испытания:
а) функциональные тесты, в которых для СБЭСУ используются данные, адекватно характеризую
щие операции. Выходные данные тестов сравниваются с приведенными в спецификации. Отклонения
от спецификации и указания о неполной ее проверке должны быть документально оформлены;
б) динамические испытания для проверки динамического поведения в реальных условиях функ
ционирования и выявления отказов в соответствии с функциональной спецификацией СБЭСУ. а также
для оценки полезности и надежности СБЭСУ.
П р и м е ч а н и е — Функции системы или программы выполняются в конкретном окружении с конкретными
тестовыми данными, которые были получены систематически изспецификации требованийкбезопасности СБЭСУ в
соответствии с установленными критериями. Полученное поведение СБЭСУ сравнивается со спецификацией.
Цель состоит втом. чтобы определить, правильно ли СБЭСУ и/или ее подсистемы выполняют всефункции, задан
ные в спецификации. Методика формирования классов эквивалентности является одним из подходов формиро
вания тестовых данных при тестировании методом «черного ящика». Пространство входных данных разделяются
на конкретные диапазоны входных значений (классов эквивалентности) с помощью спецификации. Затем форми
руются тестовые примеры из:
- данных из допустимых диапазонов;
- данных из недопустимых диапазонов;
- данных из предельных значений диапазонов;
- экстремальных значений;
- комбинаций из вышеперечисленных классов.
Для выбора тестовых примеров в различных испытаниях (тестирование модуля, тестирование интеграции
и тестирование системы) могут быть эффективны другие подходы.
6.13 Установка СБЭСУ
6.13.1 Целью требований данного подраздела является установка СБЭСУ, чтобы убедиться,
что СБЭСУ подходит для использования по назначению и готова к подтверждению соответствия.
6.13.2 Требования
6.13.2.1 СБЭСУ должна быть установлена в соответствии с планом функциональной безопасно
сти для окончательного подтверждения соответствия системы (см. 4.2.1. перечисление h)).
6.13.2.2 Должны быть произведены соответствующие записи об установке СБЭСУ. а также все
результаты испытаний. В случае отказа СБЭСУ. его причины должны быть зарегистрированы.
7 Информация по применению СБЭСУ
7.1 Цель
СБЭСУдолжна быть обеспечена информацией, позволяющей пользователю разрабатывать такие
процедуры, которые гарантируют, что требуемая функциональная безопасность СБЭСУ поддерживает ся
во время эксплуатации и технического обслуживания машины.
43