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

1)Экспоненциальная модель изменения ошибок в зависимости от времени и отладки

2)Модель, которая учитывает дискретно понижающуюся частоту появления ошибок, линейную функцию тестирования и испытания

3)Модель, базирующаяся на распределении Виебула

4)Модель, основанная на дискретном гипергеометрическом распределении

Предположения:

1)Любые ошибки в программе являются независимыми и проявляются в случайные моменты времени

2)Время работы между ошибками определяется средним временем выполнения команды на данной ЭВМ и средним числом команд, исполняемом между ошибками, т.е. интенсивность проявления ошибок при реальном функционировании программы зависит от среднего быстродействия ЭВМ.

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

4)Ошибка, являющаяся причиной искажения результатов, фиксируется и исправляется после завершения тестирования, либо вообще не обнаруживается.

Через n₀ остается, n устраняется

- момент обнаружения ошибки

С помощью методов максимального правдоподобия, строится уравнение для определения максимального числа ошибок

В процессе отладки необходимо отладить и устранить кол-во ошибок.