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