Институт системного программирования Роcсийской академии наук


Тестирование на основе моделей

к.ф.-м.н. Кулямин Виктор. весенний полугодовой курс.

Курс знакомит слушателей с основными проблемами проверки качества сложных программных систем и современными подходами к их решению на основе тестирования. Рассматриваются как классические техники построения тестов на основе разбиения ситуаций на классы эквивалентности, а также использующие конечные автоматы и комбинаторные схемы, так и более пригодные для систем реальной сложности интегрированные подходы. Слушатели получат хорошее представление о тестировании на основе моделей - новой, динамично развивающейся области на границе между теоретической информатикой и программной инженерией, и о его практических приложениях.

Более подробную информацию по курсу можно получить здесь.

Курс группы

Технологии программирования

Перейти к учебным курсам ИСП РАН