ГОСТ Р МЭК 61508-7—2012
полнить исчерпывающее тестирование, считая такую оценку консервативной, то в соответствии с таблицей D.5,
вероятность того, что не все будет протестировано, составляет 2.87-10"5.
При N = 4000 значения первых членов в зависимости от п представлены в таблице D.5.
Т а б л и ц а D.5 — Вероятность тестирования всех свойств программы
п
Р
5-Ю41-19 10“а-1.10 10-4-...
7. 5-Ю41-Z87-10’5
+
4 -Ю ’10
—
...
1-10®1-5.54 10"8
+
152-10 15-...
2-Ю5
1-7.67
ю ’ ,9 + г 9 -
10 37
—
...
На практике такие оценки должны быть консервативными.
D.3 Литература
Более подробную информацию по указанным выше методам можно найти в [9] — [13].
73