Page 75 - 4797
P. 75

P(t)
                 1


                                                                    t3
                                                                    t2

                 0                                                  t1
                                                                       t

                  Рисунок 7.1 - Надійність програмного забезпечення

               Визначимо  ймовірність  відсутності  наступної,  четвертої
           відмови, починаючи з моменту усунення третьої відмови:
                                 P(t ) e   4 4 t  .                (7.6)
                                    4
               Згідно з методом максимуму правдоподібності і на основі
           функції  (7.5)  моделі,  позначаючи  через  k    номер
                                                                 4
           прогнозованої відмови, отримаємо функцію правдоподібності
           F :
                               k 1
                          F    C  N i    1 e   C d  N i    1 t  i  ,      (7.7)
                                   d
                               i 1
           а логарифмічна функція правдоподібності  L :
                             k 1
                                                                  1 t 
                 L ln( F )        ln C  N i  1  C  d   N i    i   , (7.8)
                                      d
                             i 1
           звідки умови для знаходження екстремуму:
                                 k
                           dL    1   1    N i    1 t      0       (7.9)
                                    
                          dC d   i   1 C d         i   
                               k
                         dL        1     C t      0.          (7.10)
                                1
                         dN    i 1     N i    1  d  i   
               3 (7.10) отримуємо



                                          74
   70   71   72   73   74   75   76   77   78   79   80