• Александр Николаевич Мартынюк Odessa National Polytechnic University
  • Анна Сергеевна Сугак Odessa National Polytechnic University


Technical diagnosing of the distributed information systems (DIS) is characterized by the relevance caused by critical application RICE, complexity because of the distributed, casual, event nature, incompleteness of the description of objects of the analysis. From here relevance of researches of the behavioral models and methods of testing possessing properties of non-determination, asynchrony, overlapping follows.
The purpose of the real work is increase of completeness of testing and reduction of computing costs of synthesis of behavioral tests on the basis of identification of their properties due to application of model of the expanded temporary automata (ETA) possessing properties of not determinism.
For achievement of the purpose the problem of creation of the constructive description of the testing model (TM) based on nondeterministic the ETA, possessing features of creation of behavioral and temporary test primitives, and also predicate representation of not determinism is solved. MT is intended for definition of conditions of behavioral testing of the DIS components.
Realization of MT for the DIS WEB services confirmed expediency of performance of these researches and realization in problems of synthesis of tests.

Author Biographies

Александр Николаевич Мартынюк, Odessa National Polytechnic University

Cand. tech. Sciences, Associate Professor, Department of Computer Intelligent Systems and Networks

Анна Сергеевна Сугак, Odessa National Polytechnic University

graduate student

How to Cite
Мартынюк, А., & Сугак, А. (2019). BUILDING BEHAVIORAL TESTS FOR NONDETERMINISTIC TIME AUTOMATA MODEL. Electrotechnic and Computer Systems, (17(93), 63-68. Retrieved from
Information systems and technologies

Most read articles by the same author(s)