Модель переходных вероятностей

Предназначена для анализа больших ПП. Имеет вероятностный характер. Эта модель дает возможность определить вероятное число ошибок или число исправленных ошибок к моменту времени t. Исходные данные - интенсивность обнаружения и исправления ошибок.

Допущения:

Любая ошибка имеет случайный характер и не учитывается степень влияния на результат. Интенсивность обнаружения и исправления const на протяжении всего процесса отладки программы. Переход из одного состояния в другое осуществляется за бесконечно малый интервал времени.

Предположим. что в системе n-число обнаруженных ошибок, m - число исправленных ошибок.

{n,n-1,n-2,...} - состояние.

{m,m-1,m-2,...}

Система находится в состоянии n-k если k-1 ошибка уже исправлена, а k ошибка еще не обнаружена.

Система находится в состоянии m-k+1 если k ошибка обнаружена, но еще не исправлена.

Граф, в котором находится система.

Интенсивность отказов в этом случае определяется экспериментальным путем.