Исследовано модельное тестирование программных систем - направление, известное индустрии как Model-Based Testing (MBT). Проведен обзор основных методов и систем МВТ, которые позволяют автоматизировать труд инженера-тестировщика и значительно повысить качество тестирования программной системы. Рассмотрена технология МВТ, ее компоненты и основные инструменты, а также описаны проблемы, возникающие при применении данного метода для генерации тестовых сценариев. Представлены символьный подход, позволяющий решить ряд рассмотренных проблем генерации, а также система Универсальный Генератор Сценариев, основанная на символьном подходе, разработанном в Институте кибернетике им. В.М. Глушкова НАН Украины. Впервые символьный подход расширен - добавлен этап исполнения тестов, что позволяет значительно усовершенствовать МВТ - подход для потребностей современной промышленности. Ключевые слова: модельное тестирование, символьное моделирование, базовые протоколы, верификация, исполнение тестов, пользовательские сценарии.
