ГОСТ Р 53195.4—2010
Приложение Б
(справочное)
Подробные таблицы
Т а б л и ц е Б.1 — Рекомендации по применению стандартов для проектирования и кодирования (упомянутых в
таблице А.4 приложения А)
Методы/срсдстеа для оценки функциональной безопасности ПО
Ссылка на
структурную
единицу
ГОСТ Р 53195.5
Ранг применимости методов/срсдств для
SILTSIL2SIL3SIL4
1 Использование стандартов кодирования
В.2.6.2
КР (HR) КР (HR)
KP (HR) KP (HR)
2 Отказ от использования динамических объектов
В.2.6.3
P(R)КР (HR)
KP (HR) KP (HR)
За Отказ от использования динамических переменных
В.2.6.3
-
P(R)
KP (HR) KP (HR)
36 Проверка создания динамических переменных при
выполнении программы
В.2.6.4
-
P(R)
KP (HR) KP (HR)
4 Ограниченное использование прерываний
В.2.6.5
P(R)P(R)
KP (HR) KP (HR)
5 Ограниченное использование указателей
В.2.6.6
-P<R>
KP (HR) KP (HR)
6 Ограниченное использование рекурсий
В.2.6.7
-P(R)
KP (HR) KP (HR)
7 Неиспользование безусловных переходов в програм
мах. написанных на языках высокого уровня
В.2.6.2
Р (R)
KP (HR)
KP (HR) KP (HR)
П р и м е ч а н и е — Применение методов 2 и За не требуется,если использован компилятор, который га
рантирует выделение достаточного объема памяти для всех динамических переменных и объектов до начала
выполнения программы либо вставляет проверки корректного выделения памяти в процессе выполнения.
Т а б л и ц а Б.2 — Рекомендации по применению методов/средств динамического анализа и тестирования (упо
мянутых в таблицах А.5 и А.9 приложения А)
Методы/срсдстаа динамического анализа и тестирования
Ссылкана
структурную
единицу
ГОСТ Р 53195.5
Ранг применимости методов/средств для
SIL1SIL2SIL3SIL4
1 Выполнение контрольного примера, начиная с анализаВ.5.4
граничных значений
Р (R)
КР (HR)
KP (HR) KP (HR)
2 Выполнение контрольного примера, начиная с предпоВ.5.5
лагаемой ошибки
Р (R)
P(R)
P(R>
p
(R)
3 Выполнение контрольного примера, начиная с введеВ.5.6
ния ошибки
-
P(R)
KP (HR) KP (HR)
4 Моделирование реализацииВ.5.20
Р (R)
P(R)
P(R>KP (HR)
5 Разделение входных данных на классы эквивалентB.S.7
ности
Р (R)
P(R)
P(R)KP (HR)
6 Структурное тестированиеВ.5.8
Р (R)
P(R)
KP (HR) KP (HR)
П р и м е ч а н и е — Анализ с использованием тестовых примеров проводят на уровне подсистем. Он
основывается на спецификациях и/ипи спецификациях и текстах программ.
30