Сайт фан клуба ИГХТУ

 

Методичка 706 ИГХТУ

·        в ходе испытания программы новые ошибки не вносятся

·        ошибки изначально различимы. По суммарному числу исправленных ошибок можно судить об оставшихся

·        интенсивность отказов программы  числу оставшихся ошибок

На основе данных допущений получим:

er(x) = e(0) – ec(x)                                                                                               (1)

x – продолжительность отладки программы

e(0) – отношение числа ошибок Е0, имеющихся в программе в момент времени x = 0 к общему числу команд на машинном языке I.

e(0) = Е0/I

ec(x) – число остаточных ошибок в момент времени x, отнесенное к общему числу команд I.

lS(t) = kS.er(x)                                                                                                     (2)

t – время работы системы

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

lS(t) – интенсивность отказов в течении интервала времени t

Определив l программы (частоту появления ошибок) найдем выражение для вероятности безотказной работы

P(t) = exp[–lS(t)dx] = exp[–kS.er(x)dx]                                                           (3)

Т.к. в данной модели частота появления ошибок считается независимой от t, она принимается постоянной,  среднее время безотказной работы программы =:

Т0 = 1/lS(t) = 1/(kS.er(x))                                                                                     (4)

Оценивание параметров модели:

Подставляя (1) в (4) получим следующее выражение для среднего времени безотказной работы:

Т0 =                                                           (5)

(5) содержит 2 неизвестных параметра: kS - коэффициент пропорциональности и Е0, которые можно оценить, используя метод согласования моментов.

Если рассматривать 2 периода отладки программы x1 и x2 такие, что x1 < x2, получаем:

                                                                                       (6)

                                                                                                             (7)

Т1, Т2 – продолжительности работы системы, которые соответствуют x1 и x2

n1 и n2 – число ошибок в ПО, обнаруженных в период времени x1 x2

Из (6) и (7)

Е0 =                                                                              (8)

 



страницы:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
 
 
 
 
 
 

Warning: in_array() expects parameter 2 to be array, null given in /home/p198609/www/bestlogistics.ru/2f41c03c6df35aa46f8d897a4eed7d02/sape.php on line 192