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

Эта модель основана на марковском процессе, протекающем в дискретной системе с непрерывным временем.

Процесс, протекающий в системе, называется марковским (или процессом без последствий), если для каждого момента времени вероятность любого состояния системы в будущем зависит только от состояния системы в настоящее время и не зависит от того, каким образом система пришла в это состояние. Процесс тестирования ПО рассматривается как марковский процесс.

В начальный момент тестирования в ПО было ошибок. Предполагается, что в процессе тестирования выявляется по одной ошибке. Тогда последовательность состояний системы и т.д. соответствует периодам времени, когда предыдущая ошибка уже исправлена, а новая еще не обнаружена. Например, в состоянии пятая ошибка уже исправлена, а шестая еще не обнаружена.

Последовательность состояний соответствует периодам времени, когда ошибки исправляются. Например, в состоянии вторая ошибка уже обнаружена, но еще не исправлена. Ошибки обнаруживаются с интенсивностью X, а исправляются с интенсивностью .