Приложение Б (справочное). Подробные таблицы

Приложение Б
(справочное)

Подробные таблицы

Таблица Б.1 - Рекомендации по применению стандартов для проектирования и кодирования (упомянутых в таблице А.4 приложения А)

Методы/средства для оценки функциональной безопасности ПО	Ссылка на структурную единицу ГОСТ Р 53195.5	Ранг применимости методов/средств для
		SIL1	SIL2	SIL3	SIL4
1 Использование стандартов кодирования	В.2.6.2	КР (HR)	КР (HR)	КР (HR)	КР (HR)
2 Отказ от использования динамических объектов	В.2.6.3	P (R)	КР (HR)	КР (HR)	КР (HR)
3а Отказ от использования динамических переменных	В.2.6.3	--	P (R)	КР (HR)	КР (HR)
3б Проверка создания динамических переменных при выполнении программы	В.2.6.4	--	P (R)	КР (HR)	КР (HR)
4 Ограниченное использование прерываний	В.2.6.5	P (R)	P (R)	КР (HR)	КР (HR)
5 Ограниченное использование указателей	В.2.6.6	--	P (R)	КР (HR)	КР (HR)
6 Ограниченное использование рекурсий	В.2.6.7	--	P (R)	КР (HR)	КР (HR)
7 Неиспользование безусловных переходов в программах, написанных на языках высокого уровня	В.2.6.2	P (R)	КР (HR)	КР (HR)	КР (HR)
Примечание - Применение методов 2 и 3а не требуется, если использован компилятор, который гарантирует выделение достаточного объема памяти для всех динамических переменных и объектов до начала выполнения программы либо вставляет проверки корректного выделения памяти в процессе выполнения.

Таблица Б.2 - Рекомендации по применению методов/средств динамического анализа и тестирования (упомянутых в таблицах А.5 и А.9 приложения А)

Методы/средства динамического анализа и тестирования	Ссылка на структурную единицу ГОСТ Р 53195.5	Ранг применимости методов/средств для
		SIL1	SIL2	SIL3	SIL4
1 Выполнение контрольного примера, начиная с анализа граничных значений	В.5.4	P (R)	КР (HR)	KP (HR)	KP (HR)
2 Выполнение контрольного примера, начиная с предполагаемой ошибки	В.5.5	P (R)	P (R)	P (R)	P (R)
3 Выполнение контрольного примера, начиная с введения ошибки	В.5.6	--	P (R)	KP (HR)	KP (HR)
4 Моделирование реализации	В.5.20	P (R)	P (R)	P (R)	KP (HR)
5 Разделение входных данных на классы эквивалентности	В.5.7	P (R)	P (R)	P (R)	KP (HR)
6 Структурное тестирование	В.5.8	P (R)	P (R)	KP (HR)	KP (HR)
Примечание - Анализ с использованием тестовых примеров проводят на уровне подсистем. Он основывается на спецификациях и/или спецификациях и текстах программ.

Таблица Б.3 - Рекомендации по применению методов/средств функционального тестирования и тестирования методом "черного ящика" (упомянутых в таблицах А.5, А.6 и А.7 приложения А)

Методы/средства функционального тестирования и тестирования методом "черного ящика"	Ссылка на структурную единицу ГОСТ Р 53195.5	Ранг применимости методов/средств для
		SIL1	SIL2	SIL3	SIL4
1 Выполнение контрольного примера, начиная с причинно-следственных диаграмм	Б.6.5.2	--	--	P (R)	P (R)
2 Макетирование/анимация	В.5.17	--	--	P (R)	P (R)
3 Анализ граничных значений	В.5.4	P (R)	КР (HR)	KP (HR)	KP (HR)
4 Разделение входных данных на классы эквивалентности	В.5.7	P (R)	КР (HR)	KP (HR)	KP (HR)
5 Моделирование процесса	В.5.18	P (R)	P (R)	P (R)	P (R)
Примечания 1 Анализ с использованием контрольных примеров выполняется на уровне систем ПО и основывается только на спецификациях 2 Необходимая полнота моделирования должна выбираться в зависимости от уровня полноты безопасности, сложности и условий применения.

Таблица Б.4 - Рекомендации по применению методов/средств анализа отказов (упомянутых в таблице А.10 приложения А)

Методы/средства анализа отказов	Ссылка на структурную единицу ГОСТ Р 53195.5	Ранг применимости методов/средств для
		SIL1	SIL2	SIL3	SIL4
1а Диаграммы последовательностей событий	Б.6.5.2	P (R)	P (R)	P (R)	P (R)
1б Анализ методом дерева событий	Б.6.5.3	P (R)	P (R)	P (R)	P (R)
2 Анализ методом дерева отказов	Б.6.5.5	P (R)	P (R)	KP (HR)	KP (HR)
3 Анализ видов отказов и критичности компонентов	Б.6.5.4	P (R)	P (R)	KP (HR)	KP (HR)
4 Моделирование методом Монте-Карло	В.6.6	P (R)	P (R)	P (R)	P (R)
Примечание - Для отнесения ПО к соответствующему уровню полноты безопасности должен быть предварительно выполнен анализ рисков.

Таблица Б.5 - Рекомендации по применению методов/средств моделирования (упомянутого в таблице А.7 приложения А)

Методы/средства моделирования	Ссылка на структурную единицу ГОСТ Р 53195.5	Ранг применимости методов/средств для
		SIL1	SIL2	SIL3	SIL4
1 Диаграммы потоков данных	В.2.2	P (R)	P (R)	P (R)	P (R)
2 Метод конечных автоматов	Б.2.3.2	--	P (R)	KP (HR)	KP (HR)
3 Формальные методы	В.2.4	--	P (R)	P (R)	KP (HR)
4 Моделирование реализации	В.5.20	P (R)	KP (HR)	KP (HR)	KP (HR)
5 Метод сетей Петри	Б.2.3.3	--	P (R)	KP (HR)	KP (HR)
6 Макетирование/анимация	В.5.17	P (R)	P (R)	P (R)	P (R)
7 Структурные диаграммы	В.2.3	P (R)	P (R)	P (R)	KP (HR)
Примечание - Должны быть приняты во внимание и другие методы/средства, не указанные в настоящей таблице.

Таблица Б.6 - Рекомендации по применению методов/средств тестирования характеристик (упомянутых в таблицах А.5 и А.6 приложения А)

Методы/средства тестирования характеристик	Ссылка на структурную единицу ГОСТ Р 53195.5	Ранг применимости методов/средств для
		SIL1	SIL2	SIL3	SIL4
1 Тестирование в предельных режимах	В.5.21	P (R)	P (R)	КР (HR)	КР (HR)
2 Ограничение временных интервалов и объема памяти	В.5.22	КР (HR)	КР (HR)	КР (HR)	КР (HR)
3 Требования к реализации	В.5.19	КР (HR)	КР (HR)	КР (HR)	КР (HR)

Таблица Б.7 - Рекомендации по применению полуформальных методов/средств (упомянутых в таблицах А.1, А.2 и А.4 приложения А)

Полуформальные методы/средства	Ссылка на структурную единицу ГОСТ Р 53195.5	Ранг применимости методов/средств для
		SIL1	SIL2	SIL3	SIL4
1 Логические/функциональные блок-схемы	В.7	P (R)	P (R)	KP (HR)	KP (HR)
2 Диаграммы последовательности	В.7	P (R)	P (R)	KP (HR)	KP (HR)
3 Диаграммы потоков данных	В.2.2	P (R)	P (R)	P (R)	P (R)
4 Метод конечных автоматов / диаграммы переходов	Б.2.3.2	P (R)	P (R)	KP (HR)	KP (HR)
5 Метод сетей Петри	Б.2.3.3	P (R)	P (R)	KP (HR)	KP (HR)
6 Таблицы решений и таблицы истинности	В.6.1	P (R)	P (R)	KP (HR)	KP (HR)

Таблица Б.8 - Рекомендации по применению методов/средств статического анализа (упомянутого в таблице А.9 приложения А)

Методы/средства статического анализа	Ссылка на структурную единицу ГОСТ Р 53195.5	Ранг применимости методов/средств для
		SIL1	SIL2	SIL3	SIL4
1 Анализ граничных значений	В.5.4	P (R)	P (R)	KP (HR)	KP (HR)
2 Таблица контрольных проверок	Б.2.5	P (R)	P (R)	P (R)	P (R)
3 Анализ потоков управления	В.5.9	P (R)	KP (HR)	KP (HR)	KP (HR)
4 Анализ потоков данных	В.5.10	P (R)	KP (HR)	KP (HR)	KP (HR)
5 Предположение ошибок	В.5.5	P (R)	P (R)	P (R)	P (R)
6 Инспекция программ по Фейгану	В.5.15	--	P (R)	P (R)	KP (HR)
7 Анализ скрытых путей исполнения	В.5.11	--	--	P (R)	P (R)
8 Тестирование на символьном уровне	В.5.12	P (R)	P (R)	KP (HR)	KP (HR)
9 Сквозной прогон/просмотр проекта	В.5.16	KP (HR)	KP (HR)	KP (HR)	KP (HR)

Таблица Б.9 - Рекомендации по применению методов/средств модульного подхода (упомянутого в таблице А.4 приложения А)

Методы/средства статического анализа	Ссылка на структурную единицу ГОСТ Р 53195.5	Ранг применимости методов/средств для
		SIL1	SIL2	SIL3	SIL4
1 Ограничение размера программного модуля	В.2.9	КР (HR)	КР (HR)	КР (HR)	KP (HR)
2 Ограничение доступа / инкапсуляция информации	В.2.8	P (R)	КР (HR)	КР (HR)	KP (HR)
3 Ограничение числа параметров	В.2.9	P (R)	P (R)	P (R)	P (R)
4 Одна точка входа и одна точка выхода в каждой подпрограмме и функции	В.2.9	КР (HR)	КР (HR)	KP (HR)	KP (HR)
5 Полностью определенный интерфейс	В.2.9	КР (HR)	КР (HR)	KP (HR)	KP (HR)