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