Методы и средства инженерии программного обеспечения


         

оценка среднего времени до следующего


        N – оценка числа ошибок в ПО в начале тестирования;

        M – оценка числа прогнозированных ошибок;

        MТ – оценка среднего времени до следующего отказа;

        E (Tp)

– оценка среднего времени до завершения тестирования;

        Var (Tp)

– оценка дисперсии;

        R ( t) – функция надежности ПО;

        Zi ( t) – функция риска в момент времени t между i–1  и i отказами;

        с – коэффициент пропорциональности;

        b – частота обнаружения ошибок.

Далее рассматриваются несколько моделей роста надежности, основанные на этих  предположениях и  использовании результатов  тестирования программ в части отказов, времени между ними и др.

 

Модель Джелински–Моранды. В этой модели используются исходные данные, приведенные выше, а также:

        m  – число обнаруженных отказов за время  тестирования,

        Xi  – интервалы времени между отказами,

        Т  –  продолжительность тестирования.

Функция  риска  Zi

(t)  в момент времени t  расположена между  i–1 и i  имеет вид:

        Zi (t)  = c (N – n i–1) , 

где  i = 1 ,.., m;       Ti–1 < t < Ti  .

Эта функция  считается ступенчатой кусочно–постоянной функцией с постоянным коэффициентом пропорциональности  и величиной ступени – с.      

Оценка параметров  c и N производится с помощью   системы уравнений:

                       m                                       m

                      S  1 / (N – ni–1) – S  c  Xi   = 0

                      i =1                               i =1

                                                            m

                   n/c –  NT –  S  Xi  ni–1 =  0

                                                     i =1                                                                                                                                                                                     

                                                                                                                                                                              m


Содержание  Назад  Вперед





Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий