Кулямин В.В.

Четверг, 8:45,
ауд. 790

Полугодовой спецкурс. Первое занятие 14 февраля.

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

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

Страница курса: http://vmk.somee.com/Details/414