Геометрическая модель Моранды

Геометрическая модель Моранды [22].

Интенсивность появления ошибок принимает форму геометрической прогрессии:

где D и К − константы; i − число обнаруженных ошибок.

Эту модель рекомендуется применять в случае небольшой длительности отладки. Другие показатели надежности находят по формулам

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

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

где − накопленное к началу j- гoинтервала число ошибок; т − число полных временных интервалов.

Модель Шика− Волвертона

Модель Шика− Волвертона [23], [24].

Эта модель является модификацией экспоненциальной модели Джелинского-Моранды. Модель основана на допущении того, что интенсивность обнаружения ошибок пропорциональна числу остаточных ошибок и длительности i -го интервала отладки:

то есть с течением времени возрастает линейно. Это соответствует рэлеевскому распределению времени между соседними обнаруженными ошибками. Поэтому модель называют также рэлеевской моделью Шумана или рэлеевской моделью Джелинского− Моранды. Параметр рэлеевского распределения

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

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