Дисертація присвячена вирішенню актуальної науково-прикладної проблеми скорочення часу контролю розподілених систем моніторингу та діагностування (РСМД) шляхом розробки моделей та методів поведінкового робочого контролю, які базуються на мережах Петрі, автоматних експериментах, класі функціональних помилок, наскрізних і еволюційних підходах. На основі моделей та методів розроблено інформаційну технологію контролю РСМД. У дисертації подані властивості РСМД, виконаний аналіз методів робочого контролю, показане існування завдань, що вимагають розвитку методів на основі мереж Петрі, еволюційного пошуку, декомпозиції, які дозволяють скоротити час контролю. У дисертації отримали розвиток компонентна й ієрархічна моделі поведінкового робочого контролю РСМД з контрольними фрагментами в ієрархіях їх узагальненого квазіпорядку й міжрівневих відображень, які визначають умови контролю. Отримані компонентний і наскрізний методи поведінкового робочого контролю РСМД з еволюційним розпізнаванням контрольних фрагментів в ієрархіях узагальненого квазіпорядку та міжрівневих відображень, що зберігають контрольні властивості. Моделі й методи дозволили розробити нову інформаційну технологію поведінкового робочого контролю РСМД й реалізувати її у межах автоматизованої системі технічного діагностування РСМД.^UThe 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.