Page 65 - 4797

ІБР ПЗ за час t на i-му інтервалі тестування:
P(t ) e  i i t . (6.13)
i
Для точкового методу оброблення статистичних даних
про відмови ПЗ роблять припущення про те, що інтенсивність
відмов ПЗ λ(t) = const у період часу між відмовами та змінює
своє значення після кожної нової відмови. У цьому випадку
інтервали тестування мають різні довжини та тривають до
першої відмови. Тоді   1 (t  t i 1 ), де ti – час виникнення i-ї
i
i
відмови ПЗ. Інші показники надійності ПЗ розраховують,
виходячи з величини λi, за формулами (6.12), (6.13).

Завдання для практичної роботи
Приклад звіту про тестування ПЗ для системи реального
часу представлено у таблиці 6.1. Основним під час
оброблення статистичних даних про відмови ПЗ є вибір
довжини часового інтервалу, при цьому розраховують
інтенсивність відмов (функції ризику) та інших показників
надійності. Зважаючи на те, що на початковій стадії
тестування відмови відбуваються частіше, ніж на наступних, у
ряді випадків доцільно вибирати різні довжини інтервалів.
Крім того, необхідно, щоб на кожному з інтервалів кількість
відмов ПЗ була більшою нуля. Для розрахунку показників
надійності ПЗ було обрано наступні часові інтервали для
розрахунку ПЗ: 1000 с – для 0  t  20000 c; 5000 c – для
20000  t  100000 с. У таблиці 6.2 представлено значення
показників надійності ПЗ, отримані на основі обробленої
статистики за формулами (5.6) – (5.8), а на рисунках 5.14 –
5.17 – графіки показників надійності ПЗ.

64