Page 74 - 4797

- інтенсивність відмов програми пропорційна кількості
помилок, що залишились в програмі.
Згідно з цими припущеннями ймовірність безвідмовної
роботи програм, як функція часу t дорівнює:
i
 t 
P   t  e i i , (7.4)
i
де  міра інтенсивності відмов;
i
  C ( N (i   1)), (7.5)
d
i
де C - коефіцієнт пропорційності; N - початкове число
d
помилок програми. У рівнянні (7.5) відлік часу починається
від моменту останньої i   1 -ї відмови програми.
Згідно з рисунком 7.1 надійність програмного
забезпечення характеризується не єдиною кривою P(t ), а їх
сімейством. При виявленні помилок та їх виправленні функція
P(t ) змінюється (на краще). Це пов'язано з тим, що функція
ризику z( t ) (умовна ймовірність того, що помилка
проявиться в інтервалі від t до t   t , за умови, що до
моменту t помилок не було) в теорії надійності апаратури
постійна. Але у випадку програмного забезпечення
припущення про постійність функції ризику не відповідає
реальності. Для нього ця функція зменшується у міру
знаходження та виправлення помилок.
Визначимо значення коефіцієнтів у виразах моделі
Джелінського-Моранди (7.4), (7.5) методом максимуму
правдоподібності.
У процесі відладки комплексу програм інтегрованого
середовища були зафіксовані такі інтервали часу між
відмовами програмного забезпечення: t  23; t  34; t  50 .
1
2
3

73