Page 62 - 4797

ПРАКТИЧНЕ ЗАНЯТТЯ № 6
МЕТОД ІМОВІРНІСНОЇ ОЦІНКИ НАДІЙНОСТІ
ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

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

Теоретичні відомості
Загальні положення щодо імовірнісної оцінки
надійності програмного забезпечення
Імовірнісний підхід до оцінювання надійності
програмного забезпечення засновано на розрахунку
імовірнісних показників надійності ПЗ за допомогою
математичних моделей, які використовуються для оброблення
статистичних даних про виявлення та виправлення дефектів у
процесі тестування або експлуатації. Методика імовірнісної
оцінки надійності ПЗ спрямована на вибір найбільш
адекватної моделі, за допомогою якої потім здійснюється
прогнозування показників надійності ПЗ.
Основними імовірнісними показниками надійності ПЗ є:
- імовірність безвідмовної роботи (ІБР) ПЗ P(t) –
імовірність того, що відмова ПЗ не відбудеться за
встановлений час T (T – наробіток до відмови):
P(t )  P(T  t ) ; (6.1)

 імовірність відмови ПЗ Q(t) – імовірність того, що
відмова ПЗ відбудеться за встановлений час T:
Q(t )  1 P(t ) ; (6.2)

 щільність імовірності відмови ПЗ f(t) – похідна
імовірності відмови ПЗ за часом:
f (t ) dQ(t ) dt   dP(t ) dt ; (6.3)
 інтенсивність відмов ПЗ (функція ризику) λ(t) –
миттєва частота (інтенсивність) відмов ПЗ у момент часу t за

61