Scientific and Technical Journal


ISSN Print 2221-3937
ISSN Online 2221-3805

The means of operational checking used for modern network computer systems need to check their behavioral properties, which is reflected in the construction and application of developed scenarios for distributed background checking of the functioning of networked computer systems (NCS) and their components. The purpose of this paper is to increase the completeness of the behavioral operational checking performed for the NCS components in real time, the main function taking into account the time and random characteristics of the work. This possibility can be obtained by presenting components of NCS with extended Petri nets. To achieve the goal, the following tasks are solved: constructing a behavioral operational checking model for the NCS component based on the recognition of Petri net functions; definition of the main steps of the procedure for performing behavioral operational checking of NCS components; Estimating the expected computational complexity of the received behavioral operational checking. The model of behavioral operational checking presented in this work is based on the organization of a background recognition experiment for an extended Petri net. The expanded Petri net introduces interval (time) and probabilistic properties of functions for positions and transitions. The model has the features of recognition of the advanced functions of the Petri net, the use of behavior identifiers, checking primitives and fragments based on them, as well as the signature of the fragments composition operations and relations for them. Preliminary construction of identifiers can be performed on the basis of special graphs of achievable markings. Identifiers and primitives along with the operations of transforming the behavior of the Petri net into its recognized structure make it possible to construct a procedure for comparing the behavior of the tested and reference component in the course of operational checking. The model and procedure can be taken as a basis for determining the conditions of behavioral operational checking, building a distributed method and a operational checking system of NCS. General analytical estimates of the dimension of the length of the checking analysis show its attainability with the use of modern means of operational checking.

  1. Coulouris, George, Dollimore Jean, Kindberg Tim, Blair Gordon, (2011) Distributed Systems: Concepts and Design, 5th ed. – Boston: Addison-Wesley, 2011, 1067 p., available online on

  1. Kudryavtsev,V. B., Grunskii, I. S., Kozlovskii,V. A., (2010) Analysis and synthesis of abstract automata.– Journal of Mathematical Sciences September, Volume 169,  Issue 4, P. 481–532.
  2. Sugak, A. S., Martynyuk, A. N., (2015) Building behavioral tests for nondeterministic time automata model [Postroenie povedencheskih testov dlia nedeterminirovanoi vremenoi avtomatnoi modeli]. – Electrotechnical and Computer Systems – No17(93). Odessa. P. 63–68.
  3. Sugak, Anna,  Martynyuk, Oleksandr, Drozd,Oleksandr, (2015) The Hybrid Agent Model of Behavioral Testing. – International Journal of Computing, Volume 14, Issue 4, Ternopil, P. 232–244.
  4. Martynyuk, Oleksandr, Sugak, Anna, Martynyuk, Dmitry, Drozd, Oleksandr, (2017) Evolutionary Network Model of Testing of the Distributed Information Systems. – Proceedings of the 2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 24–26 September, Bucharest, Romania, P. 888–893.
Last download:
17 Aug 2019

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014-2018. Any use of information from the site is possible only under the condition that the source link! ]