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

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"