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/