Geodesic
Approach to behavior scenarios debugging
Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 44-56.

Voir la notice de l'article provenant de la source Math-Net.Ru

The paper presents two approaches to debugging the application model behavior scenarios: semi-automatic and automatic. The first approach allows a user to automatize the process of finding the place in a concrete behavioral scenario that is suspicious of being a cause of an error. The second approach allows, in a single cycle of the analysis, to automatically identify not only the place, but also possible causes of errors in a given set of generated behavioral symbolic scenarios.
Keywords: behavior model, symbolic trace, symbolic scenario, guide, causes of errors, semi-automatic analysis, futomatic analysis of error causes. 
@article{MAIS_2014_21_6_a4,
     author = {P. D. Drobintsev and V. P. Kotlyarov and I. V. Nikiforov and A. A. Letichevsky and V. S. Peschanenko},
     title = {Approach to behavior scenarios debugging},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {44--56},
     publisher = {mathdoc},
     volume = {21},
     number = {6},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a4/}
}
TY  - JOUR
AU  - P. D. Drobintsev
AU  - V. P. Kotlyarov
AU  - I. V. Nikiforov
AU  - A. A. Letichevsky
AU  - V. S. Peschanenko
TI  - Approach to behavior scenarios debugging
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2014
SP  - 44
EP  - 56
VL  - 21
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a4/
LA  - ru
ID  - MAIS_2014_21_6_a4
ER  - 
%0 Journal Article
%A P. D. Drobintsev
%A V. P. Kotlyarov
%A I. V. Nikiforov
%A A. A. Letichevsky
%A V. S. Peschanenko
%T Approach to behavior scenarios debugging
%J Modelirovanie i analiz informacionnyh sistem
%D 2014
%P 44-56
%V 21
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a4/
%G ru
%F MAIS_2014_21_6_a4
P. D. Drobintsev; V. P. Kotlyarov; I. V. Nikiforov; A. A. Letichevsky; V. S. Peschanenko. Approach to behavior scenarios debugging. Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 44-56. http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a4/

[1] Z.151 : User requirements notation (URN) — Language definition, http://www.itu.int/rec/T-REC-Z.151/en

[2] P. D. Drobintsev, I. V. Nikiforov, V. P. Kotlyarov, “Translation of UCM Real-Time Constructs into Basic Protocols”, University Journal, 2013, no. 5, 193–201

[3] C. A. R. Hoare, Communicating sequential processes, Prentice Hall, 1985 | MR

[4] A. A. Letichevsky, J. V. Kapitonova, V. P. Kotlyarov, O. O. Letichevsky, V. V. Volkov, S. N. Baranov, T. Weigert, “Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications”, Proc. of ISSRE04 Workshop on Integrated Reliability Engineering, ISSRE04:WITUL, IRISA, Rennes France, 2004

[5] S. Baranov, V. Kotlyarov, T. Weigert, “Varifiable Coverage Criteria For Automated Tesdting”, SDL2011: Integrating System and Software Modeling, LNCS, 7083, 2012, 79–89

[6] A. A. Letichevsky, J. V. Kapitonova, V. P. Kotlyarov, A. A. Letichevsky, N. S. Nikitchenko, V. A. Volkov, T. Weigert, “Insertion modeling in distributed system design”, Software problems, 2008, 13–38 [Проблеми програмування]

[7] I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevsky, O. A. Letychevsky, V. A. Nepomnyashchii, I. V. Nikiforov, S. V. Potiyenko, L. V. Priima, B. V. Tyutin, “Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs”, Tr. SPIIRAN, 26 (2013), 349-383 (in Russian)

[8] A. A. Letichevsky, A. B. Godlevsky, A. A. Jr. Letichevsky, S. V. Potienko, V. S. Peschanenko, “Properties of Predicate Transformer of VRS System”, Cybernetics and System Analyses, 4 (2010), 3–16 | Zbl

[9] A. B. Godlevsky, S. V. Potienko, “Backward transformation of formulas in symbolic modeling: from the result to the source formula”, Problems of Programming, 4 (2010), 363–368

[10] S. Baranov, V. Kotlyarov, A. Letichevsky, P. Drobintsev, “The technology of Automation Verification and Testing in Industrial Projects”, Proc. of St. Petersburg IEEE Chapter, International Conference (May 18–21. St. Petersburg, Russia, 2005), 81–86

[11] I. Sales, A Bridging Methodology for Internet Protocols Standards Development, Ph.D. Master of Computer Science Thesis, School of Information Technology and Engineering — S.I.T.E., Ottawa, Ontario, Canada, 2001, 119 pp.

[12] N. V. Vizovitin, V. A. Nepomniashcy, A. A. Stenenko, Verification of UCM-Specifications of Distributed System Using Colored Petri Nets, http://www.iss.nsk.su/files/preprints/168.pdf

[13] Nikiforov I. V., Metody avtomatizatsii postroeniya povedencheskoy modeli programmogo produkta na osnove UCM-spetsifikatsiy, Dis. ... kand. tekhn. nauk, SPbGPU, SPb., 2014, 150 pp. (in Russian)

[14] Kolchin A. V., Razrabotka instrumentalnykh sredstv dlya proverki formalnykh modeley asinkhronnykh sistem, Dis. ... kand. fiz.-mat. nauk, Kiev, 2009, 140 pp. (in Russian)

[15] Wan Fokking, Introduction to Process Algebra, Computer science monograph, 2d edition, Springrer-Verlag, 2007, 169 pp.