Институт системного программирования им. В.П. Иванникова РАН


Тестирование ПО

к.ф.-м.н. Кулямин Виктор. Весенний полугодовой курс. Читается на ВМК МГУ, а также на ФКН ВШЭ под названием "Обеспечение качества и тестирование ПО".

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

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

Курс группы

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

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