ГОСТ Р МЭК 60880—2010
Статистические методы имеют следующие характеристики:
- тесты отбирают с помощью независимой выборки из представляющей работу системы в режиме эксплуа
тации распределения вероятностей;
- последовательность и число тестов не влияет на отдельный тестовый прогон:
- каждый произошедший отказ фиксируется:
- число тестов — большое (см. приведенные ниже примеры);
- отказы происходят редко.
Обычно статистическое тестирование проводится для укрепления уверенности в правильности работы сис
тем класса 1, достигнутой с помощью обширной программы функциональных типовых тестов.
Формулы, выведенные для вероятностной верификации программного обеспечения, могут использоваться
для оценки вероятности отказа системы при запросе и верифицируемых допущениях. Формулы дают следующую
оценку верхней границы для вероятности отказа при запросе:
допустим, что проводят л статистических тестов и зафиксировано 0 отказов. Тогда для вероятности регист
рации отказа
p fd .
которое должно быть меньше или равно некоторой заданной величине
p f d
с вероятностью а,
необходимо выполнение следующего условия:
г , ы <
М
1
.
л
)
Таким образом, для
и
= 0.95. после
п
безотказных тестов мы получаем приближение
p f d
•:
2 99
с вероятно
стью 0.95.
Например, чтобы получить для
p f d
значение 10“* при вероятности 95 %. должно быть без отказа проведено
29 900 тестов.
~
Для а = 0.99 мы получим приближение
p f d
<
4 6
с вероятностью 0.99.
Например, чтобы получить для
p f d
значение 10~* при вероятности 99 %, должно быть без отказа проведено
46 900 тестов.
Пригодность рассчитанных значений
p f d
зависит от аналогичности профиля входных данных теста и про
филя реальных входных данных, существующего во время работы системы. Если приведенное выше уравнение
используется для нереального профиля работы, оно даст оценку
p f d
для воображаемого профиля применения,
т.е. оценка
p fd
может сильно отличаться от реальной надежности системы при ее активной работе. Это является
главным недостатком статистического подхода к тестированию, поскольку обычно бывает очень трудно точно
определить профиль, существующий при реальной работе системы, особенно для систем с большим количеством
входных данных.
66