Модель Миллса. Использование этой модели предполагает необходимость перед началом тестирования искусственно засорять программу некоторым количеством заранее известных ошибок.
Ошибки вносятся случайным - 58 - образом и фиксируются в протоколе искусственных ошибок.
Специалист, проводящий тестирование, не знает ни количества, ни характера внесенных ошибок до момента оценки показателей надежности по модели Миллса. Предполагается, что все ошибки, и естественные, и искусственно внесенные, имеют равную вероятность быть найденными в процессе тестирования. Тестируя программу в течение некоторого времени, собирается статистика об ошибках. В момент оценки надежности по протоколу искусственных ошибок все ошибки делятся на собственные и искусственнные.
Соотношение N S n V дает возможность оценить N - первоначальное количество ошибок в программе. В данном соотношении, которое называется формулой Миллса, S - количество искусственно внесенных ошибок, n - чмсло найденных собственных ошибок, V - число обнаpуженных искуссственных ошибок. Таким обpазом, если мы пpедположим, что в пpогpамме нет ошибок, то веpоятность истинностиэтого пpедположения оценивается по фоpмуле 1 , n K С S S K 1 , n K где К - количество собственных ошибок в данном случае 0 , S - число искусственных ошибок.
К сожалению, это соотношение нельзя использовать, если в процессе - 59 - тестирования обнаружены не все из искусственных ошибок. Для этого случая используется модифицированная формула 1 , n K C S V-1 S K 1 K V где выражение типа a b выглядит как a! b! a-b ! Тестируя систему по модели Миллса, вносим туда S 15 искусственных ошибок. В процессе тестирования было обнаружено 13 из 15 искусственных ошибок и ни одной собственной ошибки.
Тогда вероятность безотказной работы программы будет равна 15! 13! 2! 16! 14! 2! 14 15 2 15 16 2 14 16 0.875 3.2