Чему вы научитесь
- понимать суть тестирования и роль, которую в нем выполняют формальные модели;
- применять формальные модели для описания поведения дискретных систем;
- осуществлять тестирование дискретных систем и анализировать его результаты.
О курсе
В курсе доступным языком с наглядными примерами излагаются базовые понятия теории автоматов, даются основы построения полных проверяющих тестов. Авторы демонстрируют особенности практического применения математических моделей для описания поведения дискретных систем и осуществления тестирования, подкрепляя теоретический материал интерактивными тренажерами и интервью со специалистами-практиками.
Для кого этот курс
студенты старших курсов бакалавриата
магистранты и аспиранты IT-специальностей, математики, радиофизики
инженеры-радиоэлектронщики, схемотехники
разработчики и тестировщики программного обеспечения
разработчики и тестировщики электронного оборудования
разработчики программного обеспечения на языках Verilog и VHDL
разработчики дискретных устройств на основе современных микроконтроллеров и FPGA
Начальные требования
Требуется знание математики в объеме средней школы (11 классов), а также базовые знания дискретной математики и информатики. Приветствуется знание основ цифровой техники.
Преподаватели курса
216 619
Сертификат
Успешно завершив курс, вы получите сертификат от платформы Stepik. Уже 139 учеников получили сертификат.
Нагрузка
1 ЗЕ (36 часов)