ГОСТ Р МЭК 61508-7—2012
D.2.1.1 Исходные предпосылки
a) Распределение тестовыхданных равно распределению запросов при выполнении операций в режиме онлайн.
b
) Прохождения тестов статистически не зависят друг от друга в отношении причины отказа.
c) Для обнаружения любых отказов, которые могут появиться, существует адекватный механизм.
d) Число тестовых примеров л > 100.
e) Во время прогона л тестовых примеров отказы отсутствуют.
D.2.1.2 Результаты
Вероятность отказа р (на один запрос) при уровне доверия 1-а определяется из выражения
pS ^-S /a или л г - ^ - .
D.2.1.3 ПримерР
Т а б л и ц а D.2 — Вероятности отказа режима работы с низкой интенсивностью запросов
1-Q
Р
0.95
3/л
0.99
4.6/л
Для вероятности отказа при запросе для уровня полноты безопасности УПБ 3 при 95%-ном уровне доверия
применение указанной формулы дает 30000 тестовых примеров при выполнении условий принятых предпосылок.
Результаты для каждого уровня полноты безопасности объединены в таблице D.1.
D.2.2 Тестирование входного массива (предметной области) для режима работы с низкой интенсив
ностью запросов
D.2.2.1 Исходные предпосылки
Единственная исходная предпосылка состоит в том. что тестируемые данные выбираются так. чтобы обе
спечить случайное унифицированное распределение по входному массиву (предметной области).
D.2.2.2 Результаты
Неодходимо определить количество тестов л. которые требуются, исходя из порога точностно входов для те
стируемой функции с низкой интенсивностью запросов (например безопасное отключение).
Т а б л и ц а D.3 — Средние расстояния между двумя точками тестирования
Размер предметного пространства
Среднее расстояние между двумя точками тестирования в произвольном
направлении
1
о>
II
■<£
2
6
=
^ 7
3
6
=
^ 7
К
6
=
^ / 7
П р и м е ч а н и е — К может быть любым положительным целым числом. Значения 1. 2 и 3 приведены
только в качестве примеров.
D.2.2.3 Пример
Рассмотрим безопасное отключение, которое зависит только от двух переменных А и В. Если проверкой
было установлено, что пороговые значения, которые разделяют входную пару переменных А и В. определены
с точностью до 1 % от диапазона измерения А или В. то число равномерно распределенных тестовых примеров,
требуемое в области А и В, будет равно
л = У<52 = 104.
D.2.3 Простой статистический тест для режима с высокой интенсивностью запросов или в режиме
с непрерывным запросом
D.2.3.1 Исходные предпосылки
а) Распределение данных такое же. как и распределение при выполнении операций в режиме онлайн.
71