ГОСТ Р 53195.4—2010
Т а б л и ц а Б.З — Рекомендации по применению методов/средств функционального тестирования и тестирова
ния методом «черного ящика» (упомянутых в таблицах А.5. А.6 и А.7 приложения А)
Методы/средства функциональною тестирования
и тестирования методом «черною ящика»
Ссылка на
структурную
единицу
ГОСТ Р 53195.5
Рант применимости методов/средств для
SIL1SIL2SIL3SIL4
1 Выполнение контрольного примера, начиная с причин
но-следственных диаграмм
Б.6.5.2
--
P(R)P(R)
2 Макетирование/анимация
B.S.17
--P(R)P(R)
3 Анализ граничных значений
В.5.4
4 Разделение входных данных на классы эквивалент
ности
8.5.7
р
(R)
КР (HR) KP (HR) KP (HR)
P(R> КР (HR) KP (HR) KP (HR)
5 Моделирование процесса
В.5.18
P(R>P(R)P(R)P(R)
П р и м е ч а н и я
1 Анализ с использованием контрольных примеров выполняется на уровне систем ПО и основывается
только на спецификациях.
2 Необходимая полнота моделирования должна выбираться в зависимости от уровня полноты безопас
ности. сложности и условий применения.
Т а б л и ц а Б.4 — Рекомендации по применению методов/средств анализа отказов (упомянутых в таблице А.10
приложения А)
Методы/средства анализа отказов
Ссылка на
структурную
единицу
ГОСТ Р 53195.5
Рант применимости методов/средств для
SIL1SIL2SIL3SIL4
1a Диаграммы последовательностей событий
Б.6.5.2
P(R)P(R)
16 Анализ методом дерева событий
Б.6.5.3
2 Анализ методом дерева отказов
3 Анализ видов отказов и критичности компонентов
4 Моделирование методом Монте-Карло
Б.6.5.5
Б.6.5.4
В.6.6
P(R>
Р (R)
P(R)
Р (R)
Р (R) Р (R)
Р (R) Р (R)
P(R)
р
(R)
Р (R) Р (R)
КР (HR) КР (HR)
КР (HR) КР (HR)
P(R)P(R>
П р и м е ч а н и е — Для отнесения ПО к соответствующему уровню полноты безопасности должен быть
предварительно выполнен анализ рисков.
Т а б л и ц а Б.5 — Рекомендации по применению методов/средств моделирования (упомянутого в таблице А.7
приложения А)
Методы/средства моделирования
Ссылка на
структурную
единицу
ГОСТ Р 53195.5
Рант применимости методов/средств для
SIL1SIL2SIL3SIL4
В.2.2
P(R>
Р (R)
P(R)P(R)
Б.2.3.2
В.2.4
8.5.20
1 Диаграммы потоков данных
2 Метод конечных автоматов 3
Формальные методы
4 Моделирование реализации
5 Метод сетей Петри
6 Макетирование/анимация
-
Р (R)
KP (HR) KP (HR)
-
Р (R)
P(R) KP (HR)
р
(R)
КР (HR) KP (HR) KP (HR)
-
P(R) KP (HR) KP (HR)
Р (R)
P(R)P(R)
P <R>
7 Структурные диаграммы
Б.2.3.3
В.5.17
В.2.3
Р (R)
P(R)P(R)KP (HR)
П р и м е ч а н и е — Должны быть приняты во внимание и другие методы/средстеа. не указанные в на
стоящей таблице.
31