Выполнен анализ методов декомпозиции автоматных моделей, используемых в системе синтеза тестов. Рассмотрены как собственные тестопригодные свойства сохранения идентификаторов и контрольных экспериментов для методов сетевой и иерархической декомпозиции, так и внешние по отношению к ним условия функционирования анализируемых объектов. Исследованы соответствия данных свойств и условий, морфизмы моделей для базовых видов декомпозиции и предложены критерии, модели и методы тестопригодной декомпозиции на основе согласований этих соответствий, свойств и условий.
