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