Модели надежности программ

ММ предназначены для оценки:

1. показателей надёжности комплексов программ в процессе отладки;

2. количества ошибок, оставшихся невыявленными;

3. времени, необходимого для обнаружения следующей ошибки в функционирующей программе;

4. времени, необходимого для обнаружения следующей ошибки в функционирующей программе.

Аналитические модели надежности дают возможность исследовать закономерности проявления ошибок в программе, а также прогнозировать ее надежность при разработке и эксплуатации. Модели надежности программ строятся на предположении, что проявление ошибки является случайным событием и поэтому имеет вероятностный характер.

Для построения моделей используются следующие характеристики надежности программ:

• функция надежности P(t), определяемая как вероятность того, что ошибка программы не проявится на интервале от 0 до t, т.е. время ее безотказной работы будет больше t;
• функция ненадежности Q(t) – вероятность того, что в течение времени t произойдет отказ программы в результате проявления ошибки в программе.

Q(t)= 1 – P(t)

• интенсивность отказов l(t) - условная плотность вероятности времени до возникновения отказа программы при условии, что до момента t отказа не было.

;

• средняя наработка до отказа – математическое ожидание временного интервала между последовательными отказами.

В настоящее время основными типами применяемых моделей надежности программ являются модели, основанные на предположении о дискретном изменении характеристик надежности программ в момент устранения ошибок, а также модели, основанные на экспоненциальном характере изменения числа ошибок в зависимости от времени тестирования и функционирования программы.