Ahmesh T. Models and methods of behavioral online testing of distributed systems of monitoring and diagnosis, based on Petri nets

The dissertation is devoted to the solution of the actual scientific and applied problem of reducing the time of testing of distributed system of monitoring and diagnosis (DSMD) by development of models and methods of behavioral online testing, based on Petri nets, automata experiments, class of functional errors, through and evolutionary approaches. On the basis of models and methods the information technology of testing of DSMD is developed. The dissertation presents the properties of DSMD, analyzes the methods of online testing, shows the existence of tasks that require the development of methods based on Petri nets, evolutionary search, decomposition, which reduce the time of check. The component and hierarchical models of behavioral online testing of DSMD with check fragments in hierarchies of their generalized quasi-order and interlevel mappings, which define conditions of check have been developed in the dissertation. Component and end-to-end methods of behavioral online testing of DSMD with evolutionary recognition of check fragments in hierarchies of generalized quasi-order and interlevel mappings, that retain check properties, are obtained. Models and methods allowed to develop a new information technology of behavioral online testing of DSMD and to implement it within the automated system of technical diagnostics of DSMD.