Статистическая модель Миллса

Статистическая модель Миллса позволяет оценить не только количество ошибок до начала тестирования, но и степень отлаженности программ. Для применения модели до начала тестирования в программу преднамеренно вносят ошибки. Далее считают, что обна­ружение преднамеренно внесенных и так называемых собственных ошибок программы равновероятно.

Для оценки количества ошибок в программе до начала тестиро­вания используется выражение:

(1)

где W - количество преднамеренно внесенных в программу ошибок до начала тестирования; V - количество обнаруженных в процессе тестирования ошибок из числа преднамеренно внесенных; S - коли­чество «собственных» ошибок программы, обнаруженных в процессе тестирования.

Если продолжать тестирование до тех пор, пока все ошибки из числа преднамеренно внесенных не будут обнаружены, степень отлаженности программы С можно оценить с помощью выражения

(2)

где S и W = V (равенство значений W иV в данном случае имеет ме­сто, поскольку считается, что все преднамеренно внесенные ошибки обнаружены) имеют тот же смысл, что и в предыдущем выражении (4), а r означает верхний предел (максимум) предполагаемого ко­личества «собственных» ошибок в программе.

Выражения (4) и (5) представляют собой статистическую модель Миллса. Необходимо заметить, что если тестирование будет закончено преждевременно (т. е. раньше, чем будут обнаружены все преднамеренно внесенные ошибки), то вместо выражения (5) сле­дует использовать более сложное комбинаторное выражение (6). Если обнаружено только V ошибок из W преднамеренно внесенных, используется выражение

(3)

где в круглых скобках записаны обозначения для числа сочетаний из S элементов по V- 1 элементов в каждой комбинации и числа сочетаний из S+r +1 элементов по r + V элементов в каждой комбинации.