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