ГОСТ Р МЭК 61508-3—2012
Т аб л и ца А.5 — Проектирование и разработка программного обеспечения: тестирование и интеграция программ
ных модулей (см. 7.4.7 и 7.4.8)
Меюд/средство11
Ссыпка
УПБ1 УПБ2 УПБЗ УПБ4
1 Вероятностное тестирование
С.5.1
—RRHR
2 Динамический анализ и тестирование
В.6.5.
таблица В. 2
RHRHRHR
3 Регистрация и анализ данных
С.5.2
HRHRHRHR
4 Функциональное тестирование и тестирование методом «черно
го ящика»
В.5.1. В.5.2.
таблица В.З
HRHRHRHR
5 Тестирование рабочих характеристик
Таблица В.6
RRHRHR
6 Тестирование, основанное на модели
С.5.27
RRHRHR
7 Тестирование интерфейса
С.5.3
RRHRHR
8 Управление тестированием и средства автоматизации
С.4.7
RHRHRHR
Э Прямая прослеживаемость между спецификацией проекта про
граммного обеспечения и спецификациями тестирования модуля и
интеграции
С.2.11
RRHRHR
10 Формальная верификация
С.5.12
—
—
RR
1> Методы/средства следует выбирать в соответствии с уровнем полноты безопасности.
П ри м е чан и я
1 Тестирование программных модулей и интеграции относится к процессам верификации (см. таблицуА 9).
2 См. таблицу С.5.
3 Формальная проверка может уменьшить размер и объем занимаемой памяти модуля, поэтому необхо
димо тестирование интеграции.
4 Ссылки (являющиеся справочными, а не обязательными) «В.хж.х». «C.
x
.
xjc
»
во
второй графе указыва
ют на подробные описания методов/средств, изложенных в приложениях В и С (5].
Т аб л и ца А.6 — Интеграция программируемых электронных устройств (программное обеспечение и аппаратные
средства) (см. 7.5)
МетодГсредсгео1^
Ссыпка
УПБ1 УПБ2
УПБЗ УПБ4
1 Функциональное тестирование и тестирование методом «черно
го ящика»
В.5.1. В.5.2.
таблица В.З
HRHR
HRHR
2 Тестирование рабочих характеристик
Таблица В.6
RR
HRHR
3 Прямая прослеживаемость между требованиями проекта си
стемы и программного обеспечения к интеграции программных и
аппаратных средств и спецификациями тестирования интеграции
программных и аппаратных средств
С.2.11
RR
HRHR
1> Мвтоды’’средства следует выбирать в соответствии с уровнем полноты безопасности.
П ри м е чан и я
1 Интеграция программируемых электронных устройств относится к процессам верификации (см.
таблицуА.9).
2 См. таблицу С.6.
3
Ссылки (являющиеся справочными, а не обязательными) «В.х.х.х». «С.х.х.х» во второй графе указыва
ют на подробные описания метсздоа’средств. изложенных в приложениях В и С [5].
42