Критерии оценки надежности программных изделий и сложных комплексов программ

Количественные и качественные показатели.

Количественные:

1. Безотказность – способность выпонять заданные функции, в определённых условиях некоторое время.

ВБР: p(t) = P(T>t)=1-q(t)

M – общее количество часов успешного прогона программы

T_i – время непрерывного прогона в часах безошибочной работы.

T_j – время прогона в часах до появления ошибки.

n – общее количество прогонов

r – количество прогонов программы без ошибки

l=n-r - количество прогонов программы с ошибками.

- интенсивность отказа к 1 часу работы

M(t) – среднее число отказов за время t

- среднее время наработки между двумя отказами.

2. Устойчивость – способность системы выполнять функции в условии помех (ошибок, сбоев, отказов, возникающих во внепрограммных испытаниях).

P_y(t)=P(T≥t)P(A)

P(A) – вероятность ошибки аппаратуры

3. Корректируемость – приспособленность ПО к поиску и устранению ошибок

4. Защищённость – защита от посторонних вмешательств.

5. Долговечность – свойство программы избегать морального старения.

Программа не корректируется и любой отказ является полным. Безотказность, устойчивость, защищённость.

Программа не корректируется, после отказа система функционирует нормально без отказов, устойчива, защищена, долговечна.

После отказа программа корректируется, отлаживается и снова сдаётся в эксплуатацию. Корректируемость, потеря времени.

Критерии надёжности комплексных программ:

n₀ – суммарное количество ошибок в комплексе программ.

- количество ошибок, выявляемых в единицу времени в процессе тестирования или отладки.

- интенсивность отказов.