В диссертационной работе предлагаются методы автоматизации построения и анализа поведенческих моделей в виде множества символьных тестовых сценариев, создаваемых на основе высокоуровневых UCM-спецификаций. Описывается подход построения поведенческой и структурной UCM-модели по неформализованным требованиям на систему с использованием критериальных цепочек. Предлагаются математические ограничения на разработку многопоточных систем. Описывается метод автоматического анализа результатов генерации тестовых сценариев. Представлен программный комплекс, реализующий методы, алгоритмы и подходы диссертации. Описаны результаты применения разработанных методов в четырех экспериментальных проектах.