BUILDING BEHAVIORAL TESTS FOR NONDETERMINISTIC TIME AUTOMATA MODEL
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.