Модель Миллса

(Модель, сеющая предварительные ошибки).

Модель предполагает внесение искусственных ошибок в программу. Вероятность обнаружения первоначальных и искусственных ошибок одинаково.

Предположим, что будет обнаружено n исходных ошибок. v из s искусственных ошибок обнаружено. Делается оценка числа оставшихся ошибок в программе.

- такая оценка может быть после каждой обнаруженной ошибки.

Оценка дает возможность оценить степень завершенности тестирования программы.

Пусть в нашей программе k- исходных ошибок и s-рассеяных ошибок. Будем тестировать программу до тех пор, пока не обнаружим все рассеяные ошибки.

n - число обнаруженных ошибок.

k - предполагаемое исходное число.

Пусть k=0, рассеяли s=4 и все ошибки в ходе тестирования нашли.

4/5 - степень доверия к нашей гипотезе.

Если хотим прекратить тестирование с С=0.95, то нам необходимо 19 тестирований.