Чему вы научитесь
- понимать суть тестирования и роль, которую в нем выполняют формальные модели;
- применять формальные модели для описания поведения дискретных систем;
- осуществлять тестирование дискретных систем и анализировать его результаты.
О курсе
Математика является базой для программиста, инженера, тестировщика. Математические модели важны для понимания того, как должна работать та или иная система, цифровая схема, программа.
В данном курсе вы познакомитесь с конечным автоматом и поймете, к каким системам относится эта классическая модель. Мы научим вас формальным методам построения проверяющих тестов.
Курс включает видеолекции и систему оценивания новых знаний и навыков. Вас ждут не только традиционные тестовые вопросы и задания, но и тренажер, имитирующий процесс тестирования дискретной системы.
Кроме того, мы предлагаем вам услышать мнение специалистов-практиков о роли тестирования при разработке и отладке программного обеспечения.
Конечная цель курса: научить слушателя извлекать математическую модель из описания дискретной системы, строить на основе этой модели полный проверяющий тест и применять построенный тест при тестировании предъявленной реализации.
Информационные ресурсы
В качестве дополнительных ресурсов слушателям рекомендуется использовать литературу и электронные ресурсы, список которых даётся в сопроводительных материалах к курсу.
Авторы курса
Наталия Владимировна Шабалдина
Кандидат технических наук, доцент кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ
Светлана Анатольевна Прокопенко
Кандидат технических наук, доцент кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ
Станислав Николаевич Торгаев
Кандидат физико-математических наук, заведующий кафедрой информационных технологий в исследовании дискретных структур РФФ ТГУ
Максим Леонидович Громов
Кандидат физико-математических наук, доцент кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ
Андрей Владимирович Лапутенко
Кандидат технических наук, доцент кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ
Для кого этот курс
студенты старших курсов бакалавриата
магистранты и аспиранты IT-специальностей, математики, радиофизики
инженеры-радиоэлектронщики, схемотехники
разработчики и тестировщики программного обеспечения
разработчики и тестировщики электронного оборудования
разработчики программного обеспечения на языках Verilog и VHDL
разработчики дискретных устройств на основе современных микроконтроллеров и FPGA
Начальные требования
Требуется знание математики в объеме средней школы (11 классов), а также базовые знания дискретной математики и информатики. Приветствуется знание основ цифровой техники.
Программа курса
