ГОСТ Р53195.5—2010
- относительное уменьшение вероятности отсутствия отказа пропорционально продолжительности
рассматриваемого интервала времени и постоянно в противном случав;
- для обнаружения любых отказов, которые могут появиться, существует адекватный механизм;
- тест выполняется 8 течение времени тестирования
t:
- во время тестирования t никаких отказов не происходит.
Г.2.3.2 Результаты
Соотношение между интенсивностью отказовX, уровнем доверия 1- а и временем тестирования I име
ет вид
Х=- ^
t
.
Интенсивность отказов обратно пропорциональна среднему времени наработки на отказ (MTBF):
т = __1__
м т в г
П р и м е ч а н и е — В настоящем стандарте не делается различий между интенсивностью отказов вчас
и частотой отказов 8 час. Строго говоря, вероятность отказа
F
связана с частотой отказов
f
выражением
F = 1 - е~(1, однако область применения настоящего стандарта охватывает частоту отказов менее 10*® 1/ч, а для
небольших значений частоты справедливо F -
f t.
ПРИМЕР
Т а б л и ц а Г.4 — Вероятности отказа длярежима с высокой интенсив
ностью запросов или непрерывным запросом
Значение уровня доверия 1- а
Вероятность отказов в час у
0,95
3 t
0,99
4,6/t
Для подтверждения того, что среднее время наработки на отказ составляет по меньшей
мере 10s час. с уровнем доверия 95 %, требуется время тестирования 3x10sч и должны быть соблю
дены исходные предпосылки. Число тестов, необходимое для каждого уровня полноты безопаснос
ти, — в соответствии с таблицей Г.1.
Г.2.4Полноетестирование
Программу можно рассматривать как урну, содержащую N шаров. Каждый шар представляет собой конк
ретное свойство программы. Шары извлекаются случайно и заменяются после проверки. Полное тестирование
достигается, если все шары извлечены.
Г.2.4.1 Исходные предпосылки
Тест применим при следующих предпосылках;
- распределение тестируемых данных таково, что каждое из N свойств программы тестируется с равной
вероятностью;
- тесты проводятся независимо друг от друга;
- каждый появляющийся отказ обнаруживается;
- число случаев тестирования n » N;
- во время
п
случаев тестирования отказы не появляются;
- каждый прогон теста контролирует одно свойство программы (свойство программы — это то, что может
быть протестировано во время одного прогона теста).
Г.2.4.2 Результаты
Вероятность тестирования всех свойств программы р определяется выражением
Р =
р ^ 1т-
*Л
При оценке этого выражения обычно только первые его члены имеют значение, поскольку в реальных
условиях выполняется соотношение п » N. что делает все члены этого выражения при большом значении j
несущественными. Это видно из таблицы Г.5.
68