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

Входные требования: Базовые навыки программирования, понимание структуры финансового сектора, способность к аналитической деятельности

Зачетные единицы: 5

Курс: По выбору

Язык курса: Русский

Цели

В результате освоения курса студенты научатся:

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

Содержание

В данном курсе студенты узнают:
– основные понятия в сфере критических программных систем
– примеры критических систем финансового сектора;
–способы получения требований безопасности для критических систем из анализа возможных опасностей и рисков
– основные электронные системы и базы данных для сбора и анализа научно-технической информации (Scopus, Web of Science, SinceDirect, Mendeley)
– показатели программного продукта

Формат

Лекции и лабораторные занятия

Оценка

Посещение лекционных и лабораторных занятий обязательно. Итоговый контроль по дисциплине осуществляется в форме экзамена. Для успешного завершения курса студентам необходимо своевременно выполнять все задания на занятиях. Итоговая оценка зависит от работы студента на протяжении всего курса.