ГОСТР 53195.5—2010
ПРИМЕР
Рассмотрим программу, которая имела несколько инсталляций в течение несколькихлет. За это
время она выполнялась по меньшей мере 7,5x10ераз. Предположим, что каждое 100-е выполнение про
граммы соответствует перечисленным выше исходным предпосылкам (см. Г.2.4.1). Поэтому для ста
тистической оценки могут быть приняты 7,5x10* выполнений программы. Если предположить, что
4000 тестовых прогонов программы могут выполнить исчерпывающее тестирование, считая такую
оценкуконсервативной, то в соответствии стаблицей Г.5 вероятность того, что не все будет проте
стировано, составляет 2,87х10~5.
При N =4000 значения первых членов в зависимости от п представлены в таблице Г.5.
Та бл и ц а Г.5— Вероятность тестирования всех свойств программы
Число случаев тестирования п
Вероятность тестирования всех
свойств програииы р
5X10*
1-1 ,9 X 10-2 + 1,10x10-*-...
7,5 X 10*
1-2.87 X 1PS+ 4Х10-10-...
1 X 10s
1 —5.54 х 1СГ* + 1,52x10~1s~...
2 X 105
1 - 7,67
х
1fr19+ 2.9Х10-37-...
На практике такие оценки должны быть консервативными.
Более подробные сведения по оценке полноты безопасности ПО систем приведены в [88. 148. 249, 250].
69