Основы обеспечения отказоустойчивости программных компонентов

Описание: Изучаются тенденции развития отказоустойчивых вычислительных систем; основы расчёта, методы испытаний и повышения отказоустойчивости программного обеспечения информационных систем; приобретаются навыки тестирования и отладки программных компонентов

Количество кредитов: 5

Пререквизиты:

• Основы информационных систем

Трудоемкость дисциплины:

Компонент: Компонент по выбору

Цикл: Профилирующие дисциплины

Цель

• Целью дисциплины является формирование у студентов теоретических знаний и практических навыков обеспечения отказоустойчивости программных компонентов и поддержки работоспособности информационных систем.

Задача

• приобретение навыков по проектированию и реализации комплекса мер, обеспечивающих отказоустойчивость программных компонентов

Результат обучения: знание и понимание

• демонстрировать знание принципов и методов повышения отказоустойчивости программных компонентов

Результат обучения: применение знаний и пониманий

• применять современные технологии тестирования программного обеспечения при разработке ИС

Результат обучения: формирование суждений

• формировать суждения о значении и последствиях своей профессиональной деятельности с учётом социальных, профессиональных и этических позиций

Результат обучения: коммуникативные способности

• развивать навыки межличностной и групповой коммуникации для делового взаимодействия в своей профессиональной деятельности

Результат обучения: навыки обучения или способности к учебе

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

Методы преподавания

- интерактивная лекция (применение следующих активных форм обучения: ведомая (управляемая) дискуссия или беседа; демонстрация слайдов; мозговой штурм); - информационно-коммуникационная (например, занятия в компьютерном классе с использованием профессиональных пакетов прикладных программ); - поисково-исследовательская (самостоятельная исследовательская деятельность студентов в процессе обучения); - решение учебных задач.

Темы лекционных занятий

• Основные понятия и определения теории надежности, отказоустойчивости Стороны надежности
• Количественные показатели надежности
• Математические модели, используемые в расчетах надежности
• Расчет надежности с использованием математического аппарата теории вероятности, аппарата алгебры логики
• Марковские процессы в теории надежности
• Резервирование
• Графовые модели отказоустойчивости
• Принципы построения отказоустойчивых информационно-вычислительных систем
• Основные показатели качества программных компонентов
• Корректность программных средств
• Тестирование программных средств
• Методы тестирования
• Верификация
• Различные понятия валидации (аттестации)
• Моделирование и оценка надежности программного обеспечения

Основная литература

• А.С. Камкин. Введение в формальные методы верификации программ. ИСП РАН, 2017
• Яхьяев Н. Я., Кораблин А. В. Основы теории надежности и диагностика. – Академия, 2009г.
• Каштанов В.А., Медведев А.И. Теория надежности сложных систем. – М.: Физматлит, 2010
• Майерс Г. Искусство тестирования программ /.Г. Майерс, Т.Баджетт, К.Сандлер. 3-е изд. - М.: «Диалектика», 2012.- 272 с.
• Надежные отказоустойчивые информационные системы. Методы синтеза / И.Б. Шубинский. – М.: «Журнал Надежность», 2016, – 546 с

Дополнительная литература

• Абросимов М.Б. Графовые модели отказоустойчивости. - Саратов: Изд-во Саратовского гос. ун-та, 2012