Page 16 - 4797

Щоб застосувати до оцінювання надійності програм
математичний апарат теорії надійності, розглядають відмови
програми – події, що містяться в переході до неправельної
роботи або зупинці програми. Після появи відказу
програмісти досліджують програму з метою пошуку
(локалізації) помилки і вдосконалення програми.
Для прогнозування надійності програмного забезпечення
в цій моделі використовуються дані про число помилок, що
були виправлені в процесі компонування програм у систему
програмного забезпечення і відлагодження програм. За цими
даними обчислюються параметри моделі надійності, яка може
бути використана для прогнозування показника надійності в
процесі використання програмного забезпечення.
Вважають, що при послідовних прогонах програми
набори вхідних даних є випадковими і їх вибирають
відповідно до закону розподілу, який відповідає реальним
умовам функціонування. Ця модель випливає з таких
припущень:
- число команд N в програмі - постійне;
- при початковому числі помилок R в ході тестувань
0
протягом часу T їх число знижується, R(t ) R 0 , нові помилки

в ході тестувань не вносяться;
- відносне число помилок, що виправляються в ході
тестувань
r (T ) R (T ) / N u (2.1)
u
та їх зміна в часі характеризує число залишених помилок
r(T ) [ R 0  R (t )] / N (2.2)
u
і інтенсивність їх виникнення
 [T ]  k r(T ) , (2.3)
s
де k - коефіцієнт пропорційності.
s
У ході експлуатації програм

15