Анотація. Досліджено модельне тестування програмних систем напрямок, відомий в індустрії як Model-Based Testing (МВТ). Наведено огляд основних методів і систем МВТ, які дозволяють автоматизувати працю інженера-тестувальника і значно підвищити якість тестування програмної системи. Розглянуто технологію МВТ, її компоненти та основні інструменти, а також описано проблеми, що виникають при застосуванні цього методу в генерації тестових сценаріїв. Представлено символьний підхід, що дозволяє вирішити низку розглянутих проблем генерації, а також Універсальний Генератор Сценаріїв систему, основану на символьному підході, розробленому в Інституті кібернетики ім. В.М. Глушкова НАН України. Вперше символьний підхід розширено додано етап виконання тестів, що дозволяє значно вдосконалити МВТ-підхід у сучасній індустрії.

Ключові слова: модельне тестування, символьне моделювання, базові протоколи, верифікація, виконання тестів, сценарії користувачів.