В работе представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Описан разработанный подход к процессу генерации тестовых сценариев, заключающийся в применении двух формальных моделей: одной - в высокоуровневой нотации Use Case диаграмм (UCM - Use Case Maps), используемой для контролируемого заказчиком описания поведения и согласования с ним поведенческих сценариев, другой - в нотации базовых протоколов для верификации и создания по ней тестовых сценариев. Рассмотрены разработанные автором методы сокращения трудоемкости процесса получения тестовых сценариев. Проанализированы результаты пилотирования разработанных методов в телекоммуникационных проектах.