Модель Липова

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

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

q − вероятность обнаружения ошибки в каждом из т тестов, рассчитанная по формуле

S − общее количество искусственно внесенных ошибок; N − количество собственных ошибок, имеющихся в ПО до начала тестирования.

Для использования модели Липова должны выполняться следующие условия:

Оценки максимального правдоподобия (наиболее вероятное значение для N)задаются соотношениями

Модель Липова дополняет модель Миллса, давая возможность оценить вероятность обнаружения определенного количества ошибок к моменту оценки.