ГОСТ Р 53195.4—2010
Т а б л и ц а 6.6 — Рекомендации по применению методов/средств тестирования характеристик (упомянутых в
таблицах А.5 и А.6 приложения А)
Методы/срсдства юстирования характеристик
Ссыпка на
структурную
единицу
ГОСТ Р 53195.5
Ранг применимости методов/средств для
SIL1SIL2SIL3SIL4
1 Тестирование в предельных режимах
2 Ограничение временных интервалов и объема памяти
3 Требования креализаци
8.5.21
Р (R)
P(R)
В.5.22 КР (HR> КР (HR)
В.5.19КР (HR) КР (HR)
КР (HR) КР (HR)
КР (HR) КР (HR)
КР (HR) КР (HR)
Т а б л и ц а 6.7— Рекомендации по применению полуформальных методов/средств (упомянутых в таблицах А.1
А.2 и А.4 приложения А)
Полуформальные методы/средства
Ранг применимости методов/средств для
Ссыпка на
1Г> 7единицу
ГОСТ Р 53195.5
SIL1SIL2SIL3SIL4
1
Логические/функциональные блок-схемы
2 Диаграммы последовательности
3 Диаграммы потоков данных
KP (HR) KP (HR)
KP (HR) KP (HR)
P (R)P(R)
KP (HR) KP (HR)
KP (HR) KP (HR)
4 Метод конечных автоматов /диаграммы переходов
5 Метод сетей Петри
6 Таблицы решений и таблицы истинности
В.7
В.7
В.2.2
Б.2.3.2
Б.2.3.3
В.6.1
P(R)
P (R)
P(R)
P (R)
P(R)P(R)
Р (R)
P(R)
P(R)
P<R)
P(R)
P(R)
KP (HR) KP (HR)
Т а б л и ц а 6.8 — Рекомендации по применению методов/средств статического анализа (упомянутого в табпи-
це А.9 приложения А)
Методы/средства статического анализа
Ссылка на структурную
Ранг применимссти методов/средств для
единицу ГОСТ Р 53195 5
SIL1SIL2SIL3
SIL4
1 Анализ граничных значений
В.5.4
Р <R)
6.2.5 P(R)
Р (R)
KP (HR) KP (HR)
Р (R)
P(R)P(R)
КР (HR) KP (HR) KP (HR)
КР (HR) KP (HR) KP (HR)
2 Таблица контрольных проверок
3 Анализ потоков управления
4 Анализ потоков данных
5 Предположение ошибок
6 Инспекция программ по Фейгану
B.S.9
р
(R)
В.5.10
р
(R)
B.5.S
р
(R)
B.5.1S-
P(R)P(R)
p
(R)
P(R)
P (R)
KP (HR)
7 Анализ скрытых путей исполнения
В.5.11
-
8 Тестирование на символьном уровне
B.S.12
Р (R)
9 Сквозной прогон/просмотр проекта
В.5.16КР (HR)
-
P(R>
p
(R)
P(R) KP (HR) KP (HR)
KP (HR) KP (HR) KP (HR)
Т а б л и ц а 6.9 — Рекомендации по применению методов/средств модульного подхода (упомянутого в табли
це А.4 приложения А)
Методы/средства статического анализа
Ссылка на
структурную
единицу
ГОСТ Р 53195.5
Ранг применимости методов/средств для
SIL1SIL2SIL3SIL4
КР (HR) КР (HR)
1 Ограничение размера программного модуляВ.2.9
2 Ограничение доступа / инкапсуляция информацииВ.2.8
3 Ограничение числа параметровВ.2.9
4 Одна точка входа и одна точка выхода в каждой подВ.2.9
программе и функции
Р (R)
КР (HR)
Р (R)
P(R)
КР (HR) КР (HR)
КР (HR) КР (HR)
КР (HR) КР (HR)
P(R>
р
(R)
КР (HR) КР (HR)
5 Полностью определенный интерфейсВ.2.9
КР (HR) КР (HR)
КР (HR) КР (HR)
32