Scientific and Technical Journal

ELECTROTECHNIC AND COMPUTER SYSTEMS

ISSN Print 2221-3937
ISSN Online 2221-3805
BUILDING BEHAVIORAL TESTS FOR NONDETERMINISTIC TIME AUTOMATA MODEL
Abstract:
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.
Authors:
Keywords
DOI
10.15276/etks.17.93.2015.9
References
1. Zaitsev D.A., (2013), Toward the Minimal Universal Petri Net, IEEE Transac-tions on Systems, Man, and Cybernetics: Sys-tems, pp. 1 – 12.
Url:http://dx.doi.org/10.1109/TSMC.2012.2237549
2. Mats Grindal, (2007), Handling Combi-natorial Explosion in Software Testing, Printed by LiU-Tryck, Linköping, 89 p.
Url: http://www.divaportal.org/smash/get/diva2: 17568/FULLTEXT01.pdf.
3. Grunsky I.S., and Kozlovsky V.A., Sinthes i identificaziya automatov [Synthesis and Identi-fication of Automata], (2004), Kiev, Ukraine, Izd-vo Naukova Dumka, 248 p (In Russian).
4. Kudryavtsev V.B., Grunskii I.S., and-Kozlovskii V.A. Analiz Povedeniya Avtomatov [Automata Behavior Analysis], (2009), Diskret-naya Matematika, Moscow, Russian Federation, RAN, Otdelenie Matematicheskikh Nauk, Vol. 21, No. 1, pp. 3 – 35 (In Russian).
Url:http://intsys.msu.ru/magazine/archive/v10(1-4)/grunskiy-345-448.pdf.
5. Buharev R.G., Seti veroyatnostnih pro-zessorov [Probabilistic Processor Networks], (2007), Matematisheskie Voprosi Kibernetiki, Moscow, Russian Federation, Fizmathlit. Vol. 16, pp. 57 – 72 (In Russian).
URL:http://library.keldysh.ru/mvk.asp?id=2007-57
6. Gromov M.L., and Evtushenko N.V., Sintes uslovnih razlichayuchih experimentov dlya automatov s nedeterminirovanim pove-deniem [Synthesis Conditional Distinguishing Experiments for Automata with Non-Deterministic Behavior], (2009), Prikladnaya Diskretnaya Matematika, Tomsk, Russian Fed-eration, Isd-vo Tomsk. Gos. Univ., No. 4 (6), pp. 90 – 101 (In Russian).
URL:http://sun.tsu.ru/mminfo/000349342/06/image/06-090.pdf
7. Martynyuk A.N. Setevye avtomatnye modeli sinteza testov [Network Automata Models for Test Synthesis], (2007), Kholodil'na Technical i Technological, Odessa, Ukraine, Vol. Odesk. Akad. Harch. Tehnolog., No. 2 (106), pp. 94 – 97 (In Russian).
8. Bogomolov A.M., Grunsky I.S., and Sper-ansky D.V. Kontrol I preobrazovanie diskretnih automatov [Control and Conversion of Discrete Automata], (1975), Kiev, Ukraine, Izd. Naukova Dumka, 176 p (In Russian).
9. Zamyatin A.P., and Shur A.M. Yaziki, grammatiki, razpoznavateli: uchebnoye posobie. [Languages, Grammar, Recognizers: Textbook], (2007), Ekaterinburg. Izd. Ural.univ., 248 p (In Russian).
Url:http://lyceum.urfu.ru/study/mat/1sqn5zke.pdf
10. Sugak A.S., and Martynyuk A.N. Evolyuzionnaya setevaya model testirovaniya raspredelennih informazionnih system [Evolu-tionary Network Model of Testing for Distrib-uted Information Systems], (2014), Elekro-tehnicheskie i Kompyuternie Sistemi, Odessa. Ukraine, Izd. Nauka i Tehnika, No. 16 (92), pp. 71 – 77 (In Russian).
Url:http://nbuv.gov.ua/j-pdf/etks_2014_16_12.pdf
Published:
Last download:
2017-11-19 08:55:38

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014. Any use of information from the site is possible only under the condition that the source link! ]
Яндекс.Метрика