6. Анализ результатов

Анализируя представленные выше результаты работы программы и сравнивая значения оценок первоначального числа ошибок в программе, можно утверждать, что при равномерном распределении значения интервалов времени нахождения ошибок, оценка начального числа ошибок медленно уменьшается с уменьшением числа отказов, и это значение оказывается мало, по сравнению с экспоненциальным и релеевским распределениями. При экспоненциальном распределении оценка начального числа ошибок значительно выше, чем при равномерном распределении. Даже для 60% отказов оценка выше, чем для 100% отказов при равномерном распределении. Скорость уменьшения значения оценки начального числа ошибок такая же, что и при равномерном распределении. При релеевском распределении наблюдается резкое уменьшение оценки начального числа ошибок при уменьшении числа отказов системы. Однако для 80% рассматриваемых отказов это значение значительно выше, чем при равномерном распределении.

7. Выводы

Можно утверждать, что экспоненциальное распределение интервалов времени нахождения ошибок, для модели обнаружения ошибок Джелинского-Моранды, не желательно. При таком законе распределения оценка начального достаточно высока и медленно уменьшается с уменьшением числа отказов. Такие программные системы придется довольно долго отлаживать. Что касается ситуации, когда интервалы времени нахождения ошибок в системе оказываются распределенными по релеевскому закону, то при малом количестве отказов оценка начального числа ошибок будет очень мала, однако при увеличении количества отказов, это значение будет резко возрастать. В таких системах каждый новый отказ влечет за собой достаточно большое количество ошибок. Если сложилась ситуация, при которой закон распределения – равномерный, то оценка начального числа ошибок будет не велика и будет медленно возрастать с увеличением отказов. В таких системах новый отказ может не выявить новой ошибки в системе, а может лишь подтвердить наличие уже обнаруженной, но еще не исправленной ошибки.

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

Все эти факты говорят о том, что модель обнаружения ошибок Джелиского – Моранды является абстрактной, и далеко не всегда применима в реальной жизни.