ГОСТ Р МЭК 61508-3—2012
Приложение В
(обязательное)
Подробные таблицы
Т аб л и ца В.1 — Стандарты для проектирования и кодирования (см. таблицуА.4 приложения А)
Мвгод/средство1*
Ссылка
УПБ1УПБ2
УПБЗ УПБ4
1 Использование стандартов кодирования для сокращения вероятно
сти ошибок
С.2.6.2
HRHR
HRHR
2 Не использовать динамические объекты
С.2.6.3
RHR
HRHR
За Не использовать динамические переменные
С.2.6.3
—R
HRHR
ЗЬ Проверка создания динамических переменных в неавтономном ре
жиме
С-2.6.4
—R
HRHR
4 Ограниченное использование прерываний
С-2.6.5
RR
HRHR
5 Ограниченное использование указателей
С.2.6.6
—R
HRHR
6 Ограниченное использование рекурсий
С-2.6.7
—R
HRHR
7 Не использовать неструктурированное управление в программах, на
писанных на языках высокого уровня
С.2.6.2
RHR
HRHR
8 Не использовать автоматическое преобразование типов
С.2.6.2
RHR
HRHR
’■ Методы/средства следует выбирать в соответствии с уровнем полноты безопасности. Альтернатив
ные или эквивалентные методы/средства обозначают буквами, следующими за числом. Следует применять
только один из альтернативных или эквивалентных метадов/мероприятий. Выбор альтернативных методов дол
жен быть обоснован в соответствии со свойствами, приведенными в приложении С. желательно для
каждого применения.
П ри м е чан и я
1 Методы 2. За и 5: использование динамических объектов (например, при реализации стека илидинамиче
ски распределяемой области памяти) может наложить ограничения на объем доступной памяти и время выполне
ния. Методы 2. За и 5 не должны применяться, если используется компилятор, который обеспечивает, что:
a) для всех динамических переменных и объектов перед выполнением будет выделено достаточно памя
ти. а в случав ошибки выделения памяти система перейдет в безопасное состояние:
b
) время реакции системы соответствует заданным требованиям.
2 См. таблицу С.11.
3 Ссылки (являющиеся справочными, а не обязательными) «В.х.х.х», «С.х.х.х» во второй графе указыва
ют на подробные описания методов/средств. изложенных в приложениях В и С [5].
Т аб л и ца В.2 — Динамический анализ и тестирование (см. таблицы А.5 и А.9 приложения А)
т
Mо
од/ср« дс
t
eo
’ *
Ссылка
УПБ1
УПБ2 УПБЗ УПБ4
1 Выполнение тестового примера, связанного с анализом граничных
значений
С.5.4R
HRHRHR
2 Выполнение тестового примера, связанного с предполагаемой ошибкой
С.5.5R
RRR
3 Выполнение тестового примера, связанного с введением ошибки
С.5.6—
RRR
4 Выполнение тестового примера, сгенерированного на основе модели
С.5.27R
RHRHR
5 Моделирование реализации
С.5.20R
RRHR
6 Разделение входных данных на классы эквивалентности
С.5.7R
RRHR
7а Структурный тест со 100 %-ным охватом (точки входа)2)
С.5.8HR
HRHRHR
46