ГОСТ Р МЭК 61508-7—2007
Программу можно рассматривать какурну, содержащую N шаров. Каждый шар представляет собой конкрет
ное свойство программы. Шары извлекаются случайно и заменяются после проверки. Полное тестирование дос
тигается. если все шары извлечены.
D.2.4.1 Исходные предпосылки
a) Распределение тестируемых данных таково, что каждое из N свойств программы тестируется с равной
вероятностью.
b
) Тесты проводятся независимо друг от друга.
c) Каждый появляющийся отказ обнаруживается.
d) Число тестовых примеров п » N.
в) Во время п тестовых примеров отказы не появляются.
f)Каждый прогон теста контролирует одно свойство программы (свойство программы - это то. что может
быть протестировано во время одного прогона теста).
0.2.4.2 Результаты
Вероятность тестирования всех свойств программы р определяется выражением
ипи Р = 1+•
где C/ N =
N(N - 1)....(N - У + 1)
j ’
При оценке этого выражения обычно только первые его члены имеют значение, поскольку в реальных
условиях выполняется соотношение л» N. что делает все члены этого выражения при большом унесущественны
ми. Это видно из таблицы D.5.
0.2.4.3 Пример
Рассмотрим программу, которая имела несхолько инсталляций в течение нескольких лет. За это время она
выполнялась, по меньшей мере. 7.5 х 106раз. Предположим, что каждое сотое выполнение программы соответ
ствует перечисленным выше исходным предпосылкам (см. D.2.4.1). Поэтому для статистической оценки могут
быть приняты 7.5 х 104 выполнений программы. Если предположить, что 4000 тестовых прохождений програм мы
могут выполнить исчерпывающее тестирование, считая такую оценку консервативной, то в соответствии с
таблицей D.5 вероятность того, что не все будет протестировано, составляет 2. 87 х 10~5.
При N = 4000 значения первых членов в зависимости от п представлены в таблице D.5.
Т а б л и ц а D.5 — Вероятность тестирования всех свойств программы
n
p
5 X 104
1-1.9 x 10-2+1.10x 10-4-...
7.5 X 10*
1-2.87 x 10~5+4 X 10-,0- .„
1 X 105
1-5.54 x 10-*+ 1.52 x 10 t5—...
2 x
10
5
1- 7.67 X 10-13+2.9 X 10-37-...
На практике такие оценки должны быть консервативными [14].
0.3 Литература
Более подробную информацию по указанным выше методам можно найти в IEEE 352:1987 и следующих
документах:
Verification and Validation of Real-Time Software. Chapter 5. W. J. Quirk (ed.). Springer Verlag, 1985. ISBN
3-540-15102-8.
Combining Probabilistic and Deterministic Verification Efforts. W. D. Ehrenberger, SAFECOMP 92. Pergamon
Press. ISBN 0-08-041893-7.
Ingenieurstatistik. Heinhold/Gaede. Oldenburg. 1972. ISBN 3-486-31743-1.
64