ГОСТ Р МЭК 61508-6-2012
Таблица Е.18 - Модификация программного обеспечения (см. МЭК 61508-3,
подраздел 7.8)
Метод/средствоСсылкаУПБЗИнтерпретация (в настоящем приложении)
HR
Используют
HR
Используют
HRИспользуют
1 Анализ влиянияС.5.23
2 Повторная верификация изменен С.5.23
ных программных модулей
3 Повторная верификация програм С.5.23
мных модулей, на которые оказы
вают влияние изменения в других
модулях
4а Повторное подтверждение соот Табл.
ветствия системы в целомА. 7
HRИспользование зависит от результатов анализа
последствий
HRИспользуют
HRИспользуют
HRИспользуют
HRПроверка полноты: проверка, гарантирующая,
что процедуры модификации обеспечивают
достижениетребованийкпрограммному
обеспечению системы безопасности
4Ь Регрессионное подтверждение со С.5.25
ответствия
5 Управление конфигурацией про С.5.24
граммного обеспечения
6 Регистрация и анализ данныхС.5.2
7 Прямая прослеживаемость между С.2.11
спецификацией требований к про
граммномуобеспечениюсистемы
безопасности и планом модификации
программного обеспечения (включая
повторные верификацию и подтвер
ждение соответствия)
8Обратнаяпрослеживаемость С.2.11
между планом модификации про
граммногообеспечения(включая
повторные верификациюи
подтверждениесоответствия)и
спецификацией требований к
программному обеспечению системы
безопасности
HRМинимизация сложности: проверка, гаранти
рующая, что все процедуры модификации
необходимы
П р и м е ч а н и е- В столбце «Ссылка» "В.х.х.х*. "С.х.х.х’ указывают на описания методов,
изложенные в приложениях В и С МЭК 61508-7. а Табл. А.х", "Табл. В.х” - на таблицы методов,
представленные в приложениях А и В МЭК 61508-3.
149