Тестирование на основе моделей

Тестирование на основе моделей и инструменты тестирования
Требования к представлениям моделей
Инструменты модульного тестирования
Инструменты тестирования на основе моделей
Итоги обзора существующих инструментов