Читается в осеннем семестре на первом курсе магистратуры ВШЭ.

Преподаватель: д.т.н. Евтушенко Нина Владимировна

Цель курса — изучение основных принципов использования формальных методов в программной инженерии, в том числе, изучение основных математических моделей и методов их анализа и синтеза и получение навыков анализа и проектирования программного обеспечения с использованием формальных методов.

Планируемые результаты обучения:

• знать основные математические модели и методы их анализа и синтеза для разработки и верификации/тестирования программного обеспечения;
• знать основные достоинства и недостатки известных формальных методов анализа качества программного обеспечения;
• уметь применять известные формальные методы при проектировании программного обеспечения на языках высокого и низкого уровней;
• уметь адаптировать известные методы и разрабатывать новые для проектирования и анализа программного обеспечения;
• владеть навыками проектирования программного обеспечения в соответствии с его жизненным циклом;
• владеть навыками верификации и тестирования программного обеспечения, в том числе, на основе формальных моделей.

Рассматриваемые темы:

1. Введение.
2. Модели с конечным числом переходов.
3. Тестирование и верификация программного обеспечения на основе формальных моделей.
4. Проектирование программного обеспечения с использованием формальных моделей и методов.