Обоснование стратегии отладки программ на основе нестационарной модели надёжности

Рассмотрена модель роста надёжности программ при отладке, описываемая с помощью нестационарной марковской системы обслуживания. Приведены граф переходов между состояниями системы обслуживания, система дифференциальных уравнений, примеры расчёта вероятностных характеристик. Предложены варианты использования модели для прогнозирования времени отладки программ с целью обоснования наилучшей стратегии. Затронуты вопросы задания начальных условий и исходных данных как параметров модели.