Page 72 - 4797

ПРАКТИЧНЕ ЗАНЯТТЯ № 7
ОЦІНКА І ПРОГНОЗУВАННЯ НАДІЙНОСТІ ПРОГРАМ
НА ОСНОВІ МАТЕМАТИЧНИХ МОДЕЛЕЙ

Мета: одержити навики оцінки і прогнозування
надійності програм на основі математичних моделей

Теоретичні відомості
Оцінка і прогнозування надійності програм здійснюється
на основі математичній моделей надійності програм. Однією з
таких моделей, що найбільше використовуються, є модель
Джелінського-Моранди. Ця модель грунтується на таких
припущеннях: а) час до наступної відмови розподілено
експоненціально; б) інтенсивність відмов програми
пропорційна кількості помилок, що залишилися в програмі.
Згідно з цими припущеннями ймовірність безвідмовної роботи
програм, як функція часу t дорівнює:
i
 t 
P   t  e i i , (7.1)
i
де  міра інтенсивності відмов;
i
  C ( N (i   1)), (7.2)
i
d
де C - коефіцієнт пропорційності; N - початкове число
d
помилок програми. У рівнянні (7.2) відлік часу починається
від моменту останньої i   1 -ї відмови програми.
Модель Шумана відрізняється від моделі Джелінського-
Моранди тільки тим, що періоди часу налагодження і
експлуатації розглядаються окремо.
Кількість природних помилок у програмі і відповідно
інтенсивність відмов програми, як величина пропорційна
кількості помилок, може бути визначена за відношенням до
кількості виявлених природних і штучних помилок в програмі,
якщо у програму була введена певна кількість штучних

71