Проверка математических моделей.
Обоснование приведённых математических моделей приведено в ряде работ, в которых наибольшее внимание уделялось проверке первой и второй моделей. Контролировались и обрабатывались экспериментальные данные интенсивности обнаружения ошибок dn/dt на фиксированном интервале времени, количества обнаруженных ошибок n или наработки на отказ T в зависимости от времени функционирования программ на вычислительной системе. Характеристики, полученные расчётами с использованием математических моделей, сопоставлялись с полученными экспериментальными значениями и применялись для прогнозирования показателей с последующим анализом отклонений от экспериментальных данных.
Для оценки достоверности моделей анализировалось количество ошибок n, выявленное при функционировании комплексов программ в течении времени t Значения 
и K определялись методом максимального правдоподобия для каждого из 16 исследованных вариантов создания больших программ. Из графика следует, что первая модель хорошо аппроксимирует количество ошибок во всём исследованном интервале времени. При значениях n > 288 отклонение реального количества обнаруженных ошибок от расчётного составляет 21%.
800 n
700
600
t
0 1 2 3 4 тыс.час.
Рис 3.4. Количество выявленных ошибок n в зависимости от длительности отладки t
Дата добавления: 2015-07-30; просмотров: 645;