Лекции 24 часа, семинары + практикум 24 часа Форма отчетности: экзамен



Скачать 37,96 Kb.
Дата06.05.2018
Размер37,96 Kb.
ТипПрограмма курса
Спецкурс «Надёжность Программного Обеспечения»

осенний семестр

Лектор: Волканов Д.Ю.

Нагрузка: лекции - 24 часа, семинары + практикум - 24 часа

Форма отчетности: экзамен
Аннотация
Цель курса - ознакомление с практическими аспектами такой области как надёжность программного обеспечения, получить представление о том, как разрабатывать надёжное программное обеспечение (ПО). В программу курса входит изучение следующих разделов:

* верификация ПО;

* статический анализ ПО;

* эффективные подходы к тестированию ПО;

* средства анализа надёжности ПО;

* обработка данных об отказах для принятия решений.

В рамках курса слушатели также выполняют ряд практических заданий.
Программа курса
1) Модели программ. Основные типы моделей. Понятия потенциальных и достижимых состояний программы.

2) Размеченные системы переходов. Трассы программ. Понятия корректности и адекватности моделей.

3) Общая схема верификации программ на моделях. Временные автоматы.

4) Темпоральные логики линейного, ветвящегося времени (LTL, CTL, TCTL). Примеры свойств программ, заданных в темпоральных логиках.

5) Понятия дефекта (неисправности), ошибки и отказа в программе.

6) Понятия надёжности и отказоустойчивости системы. Способы расчёта надёжности вычислительной системы для последовательных, параллельных и последовательно-параллельных систем.

7) Основные типы моделей надёжности ПО.

8) Механизмы обеспечения отказоустойчивости. Постановка задачи оптимизации надёжности системы.

9) Основные этапы проведения тестирования ПО. Полнота тестового покрытия.

10) Методы чёрного и прозрачного ящиков в тестировании программ.


Литература
1) Презентации к лекциям по курсу "Надёжность Программного Обеспечения. [Электронный ресурс]. URL: http://lvk.cs.msu.su/courses/ (дата обращения 09.02.2015).

2. Карпов Ю. Г. MODEL СHECKING. Верификация параллельных и распределенных программных систем. БХВ-Петербург, 2010.

3. Кларк Э., Грамберг О., Пелед Д. Верификация моделей программ: Model

checking // М.: МЦНМО, 2002.

4. Peled D. Software reliability methods. Springer Science & Business Media, 2001.

5. Avižienis A., Laprie J. C., Randell B. Dependability and its threats: a taxonomy. Building the Information Society. Springer US, 2004.

6. Xie Z., Sun H., Saluja K. A survey of software fault tolerance techniques. University of Wisconsin-Madison/Department of Electrical and Computer Engineering, 2006.

7. Kuo W., Wan R. Recent advances in optimal reliability allocation. Computational Intelligence in Reliability Engineering. Springer Berlin-Heidelberg, 2007. С. 1-36.

Кулямин В. В. Методы верификации программного обеспечения. Москва: Институт системного программирования РАН. – 2008.

Спецкурс «Управление проектами исследования и разработки»

(весенний семестр)

Лекторы: Волканов Д.Ю., Качалин А.И.

Нагрузка: лекции - 16 часов, семинары - 8 часов

Форма отчетности: экзамен
Аннотация
Проектное управление – стандарт де–факто в современных производственных компаниях. Понимание основ проектного управления требуется не только от менеджеров проекта, но и от каждого участника проектной команды. В рамках курса слушателям будет предложено применять получаемые знания к проекту. Курс не ориентирован и не предполагает углублённого изучения программных средств управления проектами. Обсуждаются реальные практики российских компаний-разработчиков (в том числе, в формате приглашения руководителей проектов и ведущих специалистов государственных и коммерческих компаний).
Программа курса
1) Проектное управление, основы. Проекты и процессы.

2) Модели организации проектов. Роли в проекте.

3) Этапы проекта. Предпроектные активности. Планирование проекта.

4) Анализ рисков проекта. Проекты с высокими рисками.

5) Управление результатами и качеством. Анализ качества.

6) Управление человеческими ресурсами. Проект глазами участников проекта.

7) Управление выполнением проекта. Управление изменениями в ходе проекта.

8) Завершения проекта. Сдача проекта. Развитие по результатам проекта.

9) Сочетание практик проектного управления и элементов разработки ПО.

10) Специфика проектного управления в контексте исследовательских работ.

11) Проведение НИР/НИОКР в академических и промышленных организациях. Функции заказчика, управление внешними проектами.

12) Адаптация проектных практик под специфику организации.




Каталог: sites -> cmc -> files -> docs
docs -> Спецкурс «Теория кодирования в защите информации»
docs -> Сборник задач по теории функций комплексного переменного. М., Физматлит, 2006. Гахов Ф. Д. Краевые задачи. М., «Наука», 1977
docs -> Сборник задач по теории функций комплексного переменного. М., Физматлит, 2006. Гахов Ф. Д. Краевые задачи. М., «Наука», 1977
docs -> Аннотации обязательных лекционных курсов
docs -> Анализ и его приложения Специальный курс для аспирантов полугод
docs -> «Введение в функциональное программирование» полугодовой, осенний семестр лектор – доцент Малышко В. В
docs -> Цели и задачи дисциплины, её общая характеристика Цель
docs -> Современные методы обработки изображений, I курс магистратуры, аспиранты
docs -> Лекции 32 часа форма отчетности: экзамен


Поделитесь с Вашими друзьями:


База данных защищена авторским правом ©grazit.ru 2019
обратиться к администрации

войти | регистрация
    Главная страница


загрузить материал