Тестирование на основе моделей
Есть разные подходы к проведению и выполнению тестирования, в том числе разные по степени формализованности процесса: построения тестов, оценки покрытия и пр. В последнее время активно работают над более формальными методами, которые можно применить к тестированию. Об одном из таких методов 25 апреля в Санкт-Петербурге, в клубе Computer Science при ПОМИ РАН был прочитан мини-курс из трех лекций на тему «Тестирование на основе моделей«. Автор курса Виктор Кулямин, ИСП РАН.
