Магистратура
2022/2023
Формальные методы верификации и тестирования телекоммуникационных протоколов и сервисов
Статус:
Курс обязательный (Системное программирование)
Направление:
09.04.04. Программная инженерия
Где читается:
Факультет компьютерных наук
Когда читается:
2-й курс, 1, 2 модуль
Формат изучения:
с онлайн-курсом
Онлайн-часы:
40
Охват аудитории:
для всех кампусов НИУ ВШЭ
Преподаватели:
Евтушенко Нина Владимировна
Прогр. обучения:
Системное программирование
Язык:
русский
Кредиты:
8
Контактные часы:
44
Программа дисциплины
Аннотация
Дисциплина «Формальные методы верификации и тестирования телекоммуникационных протоколов и сервисов» направлена на изучение основных принципов использования формальных методов для верификации и тестирования телекоммуникационных протоколов и сервисов, в том числе,для получения навыков анализа телекоммуникационных протоколов и сервисов и их реализаций с использованием формальных методов. В результате освоения дисциплины студент должен знать основные математические модели и методы их анализа, используемые для тестирования и верификации телекоммуникационных протоколов и сервисов; их основные достоинства и недостатки, и уметь применять известные формальные методы при верификации и тестировании телекоммуникационных протоколов и сервисов.