Курс "Надёжность программного обеспечения"

Категория: Курсы кафедры АСВК

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

Курс читается в осеннем семестре и является обязательным для 4го курса кафедры АСВК в 7м семестре.


Цель курса - познакомить слушателей с практическими аспектами такой области как надёжность программного обеспечения, получить представление о том, как разрабатывать надёжное программное обеспечение (ПО).


В программу курса входит изучение следующих разделов:

  • верификация ПО
  • статический анализ ПО
  • эффективные подходы к тестированию ПО
  • средства анализа надёжности ПО
  • обработка данных об отказах для принятия решений.

Экзаменационные вопросы и примеры задач (11.01.2017)

Задание 1 (16.09.2016)
Задание 2 (21.09.2016)
Задание 3 (27.10.2016)
Задание 4 (10.11.2016)
Задание 5 (27.11.2016)
Задание 6 (27.11.2016)
Программное средство RelOpt для задания 6


Лекция 1 (06.09.2016)
Лекция 2 (13.09.2016)
Лекция 3 (20.09.2016)
Лекция 4 (11.10.2016)
Лекция 5 (18.10.2016)
Лекция 6 (25.10.2016)
Лекция 7 (01.11.2016)
Лекция 8 (08.11.2016)
Лекция 9 (15.11.2016)
Лекция 10 (22.11.2016)
Лекция 11 (29.11.2016)


Password: