Магистерская диссертация посвящена исследованию недостатков методик генерации тестовых сценариев на основе гидов и способам их устранения. Дан обзор формальных языков описания модели программной системы, инструментов и методик генерации тестовых сценариев. В рамках работы описан комплекс методик по улучшению существующего механизма генерации тестовых сценариев: разработаны методы по улучшению статического и динамического анализа UCM-модели на корректность, предложена классификация возможных ошибок, разработаны концепции генерации структурных гидов по формальной модели и алгоритм генерации исполнимых (детальных) гидов по структурным. Предложенные методики были реализованы в инструментах UCM2MSC, UMC и новом инструменте - StructuredGuidesEditor, успешно интегрированы в технологическую цепочку VRS/TAT и апробированы на проекте «Спутниковый терминал».