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

This paper is devoted to research of UCM-based testing and its disadvantages. A review of VRS/TAT verification and testing process was made, including used tools. In this paper, you can read about automation methods of existing process and conversion of abstract behavioral scenarios into scenarios applicable for testing. Suggested methods are implemented in tools Lowering Editor and Branch Analyzer.