Geodesic
An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 6, pp. 79-91

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

In this paper we propose an approach to efficient automating test technology for industrial software projects, that uses a formal model of the system, automatically performs a symbolic verification, generation and concretization of the symbolic traces, the generation of test suites for concretized traces, and also includes tools for analysis of the testing results, allowing users to automate the full cycle of testing. Particular emphasis is placed on the presentation of the algorithm concretization and setting of test scenarios.
Keywords: symbolic verification, testing automatization, concretization of test scenarios, predicate transformer. 
@article{MAIS_2012_19_6_a6,
     author = {A. V. Kolchin and A. A. Letichevsky and V. S. Peschanenko and P. D. Drobintsev and V. P. Kotlyarov},
     title = {An {Approach} to {Concretization} of {Test} {Scenarios} in {Industrial} {Automation} {Testing} of {Software} {Projects}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {79--91},
     publisher = {mathdoc},
     volume = {19},
     number = {6},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a6/}
}
TY  - JOUR
AU  - A. V. Kolchin
AU  - A. A. Letichevsky
AU  - V. S. Peschanenko
AU  - P. D. Drobintsev
AU  - V. P. Kotlyarov
TI  - An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2012
SP  - 79
EP  - 91
VL  - 19
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a6/
LA  - ru
ID  - MAIS_2012_19_6_a6
ER  - 
%0 Journal Article
%A A. V. Kolchin
%A A. A. Letichevsky
%A V. S. Peschanenko
%A P. D. Drobintsev
%A V. P. Kotlyarov
%T An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 79-91
%V 19
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a6/
%G ru
%F MAIS_2012_19_6_a6
A. V. Kolchin; A. A. Letichevsky; V. S. Peschanenko; P. D. Drobintsev; V. P. Kotlyarov. An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects. Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 6, pp. 79-91. http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a6/