В двух словах:Что ты имеешь в виду под тестированием на основе моделей?
строится модель системы (возможно, с помощью специального программного языка описания), потом описывается схема/правила тестирования, использующая модель системы и тестовые данные (описываеться может тоже программно). Потом, когда все это автоматизировано, запускается главная процедура и тестирование идет автоматически по схеме/правилам по модели.
Более подробно можешь поискать в инете, посмотри также подход UniTesK.