ГОСТР 53195.5—2010
- для обнаружения любых отказов, которые могут появиться, существует адекватный механизм:
- число тестовых примеров л > 100:
- во время прогона л тестовых примеров отказы отсутствуют.
Г.2.1.2 Результаты
Вероятность отказа р (на один запрос) при уровне доверия 1 —осопределяется из выражения
!пп
р<. 1-или п г “
Р ’
ПРИМЕР
Т а б л и ц а Г.2 — Вероятности отказа при режиме работы с низкой
интенсивностью запросов
Значение уровня доверия 1- а
Вероятность отказов р
0,95
З/П
0,99
4,6/п
Для вероятности отказа при запросе для уровня полноты безопасности SIL3 при уровне
доверия 95 % применение указанной формулы дает 30 000 тестовых примеров при выполнении
условий принятых предпосылок. Результаты для каждого уровня полноты безопасности объедине
ны в таблице Г.1.
Г.2.2Тестирование входного массива (предметной области) для режима работы с низкой интенсив
ностью запросов
Г.2.2.1 Исходные предпосылки
Единственная исходная предпосылка состоит в том. что тестируемые данные выбираются так. чтобы обес
печить случайное унифицированное распределение по входному массиву (предметной области).
Г.2.2.2 Результаты
Необходимо определить число тестов л. которые требуются, исходя из порога точности S. входов для тести
руемой функции с низкой интенсивностью запросов (например, безопасное отключение).
Т а б л и ц а Г.З— Средние расстояния между двумя точками тестирования
Размер предметною
пространства
Среднее расстояние между двумя точками
1
6= Мп
2
6=
^?7л
3
s=
У м п
к
6=
VT77T
П р и м е ч а н и е — к гложет быть любым положительным целым числом.
Значения 1.2 и 3 приведены только в качестве примеров.
ПРИМЕР
Рассмотрим безопасное отключение, которое зависит только от переменных А и В. Если
проверкой было установлено, что пороговые значения, которые разделяют входную пару перемен
ных А иВ, определены с точностью до1 % диапазона измеренияА или В. то числоравномернораспреде
ленных тестовых примеров, требуемое в области А и В, будетравно
п=1& 2= 10*.
Г.2.3Простой статистический тест для режима с высокой интенсивностью запросов или непрерыв
ного режима работы
Г.2.3.1 Исходные предпосылки
Тест применим при следующих предпосылках:
- распределение тестовых данных такое же. как и распределение данных при выполнении операций
в режиме с внешним управлением он-лайн;
67