16.7 Проверка математических моделей.
Обоснование приведённых математических моделей приведено в ряде работ, в которых наибольшее внимание уделялось проверке первой и второй моделей. Контролировались и обрабатывались экспериментальные данные интенсивности обнаружения ошибок dn/d на фиксированном интервале времени, количества обнаруженных ошибок n или наработки на отказ T в зависимости от времени функционирования программ на вычислительной системе. Характеристики, полученные расчётами с использованием математических моделей, сопоставлялись с полученными экспериментальными значениями и применялись для прогнозирования показателей с последующим анализом отклонений от экспериментальных данных.
Для оценки достоверности моделей анализировалось количество ошибок n, выявленное при функционировании комплексов программ в течении времени Значения и K определялись методом максимального правдоподобия для каждого из 16 исследованных вариантов создания больших программ. Из графика следует, что первая модель хорошо аппроксимирует количество ошибок во всём исследованном интервале времени. При значениях n > 288 отклонение реального количества обнаруженных ошибок от расчётного составляет 21%.
8
00
n
7
00
6 00
500
400
300
200
100
0 1 2 3 4 тыс.час.
Рис 3.4. Количество выявленных ошибок n в зависимости от длительности отладки
Литература
Надёжность автоматизированных систем управления. / Под редакцией Я.А. Хетагурова.- М.: Высшая школа, 1979 - 287с.
Половко А.М. Основы теории надёжности. - М.: Наука, 1964 - 446с.
Голинкевич Т.А. Прикладная теория надёжности. - М.: Высшая школа, 1985 - 168с.
Маликов И.М. Надёжность судовой электронной аппаратуры и систем автоматического управления. - Л.: Судостроение, 1967 - 315с.
Шишонок Н.А. и др.Основы теории надёжности и эксплуатации радиоэлектронной техники. - М.: Советское радио, 1964 - 551с.
Шор Я.Б. Статистические методы анализа и контроля качества и надёжности. - М.: Советское радио, 1962 - 552с.
Росин М.Ф., Булыгин В.С. Статистическая динамика и теория эффективности систем управления. - М.: Машиностроение, 1981 - 312с.
Вероятностные методы в вычислительной технике. - М.: Высшая школа, 1986 - 312с.
Яншин А.А. Теоретические основы конструирования, технологии и надёжности ЭВА. - М.: Радио и связь, 1983 - 312с.
Рудзит Я.А., Плуталов В.Н. Основы метрологии, точность и надёжность в приборостроении. - М.: Машиностроение, 1991 - 303с.
Саяпин В.В. Конспект лекций по курсу “Основы теории надёжности”. - М.: МВ и ССО СССР, МАИ, 1971 - 142с.
Дружинин Г.В. Надёжность автоматизированных производственных систем. - М.: Энергоатомиздат, 1986 - 479с.
Липаев В.В. Надёжность программного обеспечения АСУ. - М.: Энергоиздат, 1981 - 240с.
Шураков В.В. Надёжность программного обеспечения систем обработки данных. - М.: Финансы и статистика, 1987 - 271с.
Садчиков П.И., Приходько Ю.Г. Методы оценки надёжности и обеспечения устойчивости функционирования программ. - М.: Знание, 1983 - 102с.
Сборник задач по теории надёжности./ Под редакцией А.М. Половко и И.М. Маликова. - М.: Советское радио, 1972 - 407с.
Теория надёжности радиоэлектронных схем в примерах и задачах. - М.: Энергия, 1976 - 448с.
Снегирёв А.А. Сборник задач по надёжности САУ. - М.: МВ и ССО СССР, МИФИ, 1978 - 87с.
Тейер Т., Липов М., Нельсон Э. Надёжность программного обеспечения. - М.: Мир, 1981 - 325с.
Майерс Г. Надёжность программного обеспечения. - М.: Мир, 1980 - 360с.
Гласс Р. Руководство по надёжному программированию. - М.: Финансы и статистика, 1982 - 256с.