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

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

Betrag der Credits: 5

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

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

Arbeitsintensität der Disziplin:

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

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

Цель

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

Задача

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

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

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

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

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

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

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

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

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

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

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

Lehrmethoden

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

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

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

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

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

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

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