Модель Коркорэна

Модель Коркорэна относится к статическим моделям надежности ПО, так как в ней не используются параметры времени тестирования и учитывается только результат N испытаний, в которых выявлено ошибок -го типа. Модель использует изменяющиеся вероятности отказов для различных типов ошибок.

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

где − число безотказных выполнений программы;

− общее число прогонов;

К − априори известное число типов.

− вероятность выявления при тестировании ошибки -го типа.

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