Метод оценки надежности программного обеспечения по результатам испытаний на этапе его разработки

5 / 15

Метод оценки надежности программного обеспечения…
Инженерный журнал: наука и инновации # 6·2016 5
где Е() — операция выделения целой части числа. По таблицам [5]
находят нижнюю и верхнюю границы уровня е :
н 1 э в 2 э ( ) (И , , ); ( ) (И , , ). P e f K e P e f K e    
Вероятность 0 ( ) K P H  гипотезы 0 H вычисляют при альтерна-
тивах 1 H , 2 H и 3 H . Для определенности полагают, что
1 2
1 2
Д Д
И И
 .
В противном случае второй этап следует считать первым.
Суммарное число испытаний и суммарное число отказов обозна-
чены соответственно через И и Д: 1 2 И И И ;  1 2 Д Д Д  .
Условное распределение случайной величины 1 Д или 2 Д при
1 2 Д Д Д  является гипергеометрическим, если верна нулевая ги-
потеза. Следовательно,
  1 2
Д
И И
1 1 2 Д
И
Д \Д Д .
r r
С С
Р r
С

  
Для гипотезы 1 H : 1 2 P P «K-значение» обозначается через K1 и
определяется выражением вида [2, 4]
 
*
1 2
1
Д
Д
1 1 2 1 И И Д
И Д
1
Д \(Д Д Д) , 

      r r
r
K Р r С С
С
(2)
где
 
1 2 Д min Д, И , И .  (3)
При альтернативе 2 H : 1 2 P P «K -значение» обозначается через
K2 и вычисляется по формуле
* *
1 2 1 2
1
Д Д 1
Д Д
2 1 И И И И Д Д
И Д 0 И
1 1
1 1– . r r r r
r r
K K С С С С
C С

 
 
     
При альтернативе 3 H : 1 2 P P «K -значение» обозначается через
K3 и вычисляется по формуле
 
1 1 3 2min , 1 . K K K   (4)
Информация первого этапа испытаний служит априорной инфор-
мацией для второго этапа.
Исключение составляет случай, когда все отказы Д1 в условии А1
определяются набором факторов Ф 1 , а отказы Д2 — другим набором
факторов, причем Ф1  Ф 2 =  , где  — символ пустого множества.