Martynyuk A. Network model and methods of functional tests construction of hadware-software device in composition of the automated control systems

The dissertation is devoted to development of information technology and construction methods of functional tests (FT). In work the analysis of a modern condition of analytical models and decomposition methods of construction FT HSD is lead, existence of unresolved problems. For the decision of the given problems the approach to construction FT at a level of componential automata compositions is used. Analytical specialized network and hierarchical models of HSD as model systems of behavior are constructed, allowing defining test behavior in network units and hierarchy transitions. On the basis of the given models are developed decomposition meth-ods of FT construction as systems accordingly experiment unit. For practical realization of applied information technology of FT synthesis programs, used for check systems of serviceability HSD in composition of the automated control systems. Appro-bation of the developed software in frameworks contractual and developmental works is lead, and also within the framework of educational process of computer intellectual systems and networks department of ОNPU.