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

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

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

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


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


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

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

Задание 1 (15.09.2017)
Задание 2 (19.09.2017)
Задание 3 (06.10.2017)
Задание 4 (26.10.2017)
Задание 5 (27.11.2017)



Лекция 1 (05.09.2017)
Лекция 2 (12.09.2017)
Лекция 3 (12.09.2017)
Лекция 4 (19.09.2017)
Лекция 5 (26.09.2017)
Лекция 6 (03.10.2017)
Лекция 7 (17.10.2017)
Лекция 8,9 (24.10.2017,31.10.2017)
Лекция 10 (07.11.2017)
Лекция 11,12 (14.11.2017,21.11.2017)


Password: