ГОСТ Р МЭК 61508-7—2012
Свойства
Определение
5.3Воспроизводимость
К согласованным результатам приводит повторение отдельных оценок,
выполняемых как часть тестирования и интеграции модуля
5.4Точно определенная те
стируемая конфигурация
Для надлежащих версий элементов и программного обеспечения вы
полняют тестирование и интеграцию модуля, полученный требуемый
результат связывают с конкретной конфигурацией «как — построено»
программного обеспечения
Таблица F.6 — Интеграция программируемых электронных устройств (программное обеспечение и аппарат
ные средства) (см.МЭК 61508-3. подраздел 7.5 и таблица С.6)
Свойство
Определение
6.1Полнота интегра
ции в соответствии
со спецификациями
проекта
Интеграция обеспечивает соответствующую глубину и охват элементов
системы, чтобы продемонстрировать, что система может выполнить функ
ции. для которых она предназначена, и не выполняет непредусмотренные
функции при всех возможных условиях эксплуатации и при отказе системы.
Интеграция включает принципы, используемые для проверки, целевые
уровни проекта и аспекты интеграции (например проверку полноты взаимо
действия между модулями)
6.2 Корректность
интеграции в соот
ветствии со специ
фикациями проекта
(успешное выполне
ние)
Интеграция основана на корректных предположениях.
Например, правильность ожидаемых результатов, рассматриваемых усло
вий использования, а также репрезентативность тестовых сред.
Если задача интеграции завершена, то существует конкретное доказа
тельство. позволяющее утверждать, что требования к безопасности были
удовлетворены
6.3Воспроизводимость
К согласованным результатам приводит повторение отдельных оценок, вы
полняемых. как часть интеграции модуля
6.4Точно определенная
конфигурация инте
грации
Интеграция дает соответствующую гарантию, что она была эффективно
применена в соответствии с документами к правильной версии элементов
и программного обеспечения, а полученный требуемый результат связыва
ют с конкретной конфигурацией «как — построено» программного обеспе
чения
Таблица F.7 — Подтверждение соответствия для аспектов программного обеспечения системы безопасности
(см.МЭК 61508-3, подраздел 7.7 и таблица С.7)
Свойство
Определение
7.1Полнота подтверж
дения соответствия
в соответствии
со спецификацией
проекта программно
го обеспечения
Подтверждение соответствия программного обеспечения охватывает все
требования спецификации проектирования программного обеспечения
7.2 Корректность под
тверждения соответ
ствия в соответствии
со спецификацией
проекта программного
обеспечения (успеш
ное выполнение)
Если задача подтверждения соответствия программного обеспечения вы
полнена. то существует конкретное доказательство, позволяющее утверж
дать. что требования к безопасности были удовлетворены
7.3Воспроизводимость
К согласованным результатам приводит повторение отдельных оценок,
выполняемых как часть подтверждения соответствия программного обе
спечения
7.4 Подтверждение
соответствия точно
определенной кон
фигурации
Четкое и краткое определение:
- системы.
- требований.
- окружающей среды
87