Стр. 1 - А.М. Андреев, Г.П. Можаров - Использование результатов теории мартингалов для оценки надежности программного обеспечения компьютерных систем и сетей

УДК 681.3.06

А. М. А н д р е е в, Г. П. М о ж а р о в

ИСПОЛЬЗОВАНИЕ РЕЗУЛЬТАТОВ ТЕОРИИ

МАРТИНГАЛОВ ДЛЯ ОЦЕНКИ НАДЕЖНОСТИ

ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

КОМПЬЮТЕРНЫХ СИСТЕМ И СЕТЕЙ

Важность повышения надежности программного обеспечения обу-

словлена тем, что оно выполняет основные функции системного

управления обработкой данных, и его отказы в работе могут су-

щественно влиять на функционирование систем обработки дан-

ных в целом. Исследованы и разработаны подходы к математиче-

скому моделированию надежности программного обеспечения ком-

пьютерных систем и сетей, рассмотрены прогнозирование надеж-

ности, оценочные модели и измерение надежности программно-

математического обеспечения. Для построения моделей надежно-

сти программного обеспечения использованы результаты теории

мартингалов. Благодаря полученным условным распределениям (по-

средством решения задач фильтрации) можно охарактеризовать

критерии надежности программного обеспечения.

E-mail:

arkandreev@gmail.com

Ключевые слова

:

надежность и отказы программного обеспечения, ком-

пьютерные системы, критерии надежности, мартингалы в моделях

ошибок программного обеспечения.

Надежность — один из важнейших факторов, определяющих об-

щую производительность и эффективность систем. Уже на стадии

проектирования системы вопросам надежности должно уделяться при-

стальное внимание. В этот период, когда устанавливается первона-

чальная взаимозависимость между характеристиками системы, затра-

тами и графиком выполнения работ, должны быть сформулированы и

требования к надежности, так как именно они в значительной мере

определяют реализуемость проекта и стоимость будущей системы.

Теория надежности как наука получила развитие применительно

к сложным техническим системам. Необходимость и полезность кон-

троля технических компонентов систем и систем в целом в целях

проверки соответствия их текущих характеристик заданным доказа-

ны практикой. В этой области выполнено значительное число работ

по надежности применительно к техническим системам, разработа-

но множество моделей обеспечения разумными методами надежности

сложных систем и их технической готовности.

Эти модели в ряде случаев позволяют не только оценивать показа-

тели надежности и готовности технических систем и их компонентов,

но и дают возможность предсказывать значения этих показателей на

основе накопленного опыта. Кроме того, ряд моделей позволяет на

ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012

61