ГОСТ Р МЭК 61508-6—2007
Т а б л и ц аЕ.17 — Подтверждение соответствия безопасности программного обеспечения (см. МЭК 61508-3,
подраздел 7.7)
М сто д/ср е дста а
С сы лк аSIL3
И нтерпретация (о настоящ ей прилож ении)
1 Вероятностное тестирование
С.5.1R
Не используют для подтверждения соот
ветствия
2 Имитация’моделирование
ТаблицаHR
В.5
Конечные автоматы, моделирование про
изводительности. прототипирование и ани
мация
3 Функциональное тестирование и тести
рование методом черного ящика
В.5.1,HR
В.5.2.
таблица
В.З
Выбираются входные данные для тести
рования всех заданных функциональных
блоков, включая обработку ошибок. Исполь
зуются: тестовые примеры, полученные с
помощью причинно-следственных схем, про
тотипирование. анализ граничных значений,
разделение данных на классы эквивалент
ности и декомпозиция входных данных
Т а б л и ц аЕ.18 — Модификация программного обеспечения (см. МЭК 61508-3. подраздел 7.8)
М с то д Тс р «дс та оС сы лк аSIL3
И нтерпретация I
d
настоящ ей прилож ении)
1 Анализ влиянияС.5.23HR
Используют
2 Повторная верификация измененныхС.5.23HR
программных модулей
Используют
ных модулей, на которые оказывают влия
ние изменения в других модулях
3 Повторная верификация программС.5.23HRИспользуют
4 Повторная верификация системы в цеС.5.23
лом
HRИспользование зависит от результатов
анализа последствий
5 Управление конфигурацией программС.5.24
ного обеспечения
HRИспользуют
6 Регистрация и анализ данныхС.5.2
HRИспользуют
Т а б л и ц а Е.19 — Проверка программного обеспечения (см. МЭК 61508-3. подраздел 7.9)
М е то дТсре дсто о
С сы пкаSIL3
И нтерпретация (о настоящ ем прилож ении)
1 Формальное доказательство
С.5.13R
Используется только в исключительных
случаях, для некоторых очень важных клас
сов
2 Вероятностное тестирование
С.5.1R
Включено в таблицу Е.15
3 Статический анализ
В.6.4.HR
таблица
В.8
Для всего вновь разработанного кода ис
пользуются: анализ граничныхзначений, таб
лица контрольных проверок, анализ потоков
управления, анализ потоков данных, провер
ка разработки программ, анализ проектов
4 Динамический анализ и тестирование
В.6.5,
HR
таблица
В.2
Включено в таблицу Е.15
5 Метрики сложности программного обес
печения
С.5.14R
Используют в минимальной степени
Тестирование и интеграция программных модулей
См. таблицу Е.15
Тестирование интеграции программируемой электроники
См. таблицу Е.16
Тестирование (подтверждение соответствия) программной
системы
См. таблицу Е.17
58