Geodesic
The Guide-based Automatic Creation of Verified Test Scenarious
Modelirovanie i analiz informacionnyh sistem, Tome 20 (2013) no. 6, pp. 64-77

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

This paper presents an overview of technology of the automated generation of test scenarios based on guides. The usage of this technology can significantly improve the quality of the developed program products. In order to ground the technology creation, the main problems that occur during the development and testing of the large industrial systems, are described, as well as the methodologies of software verification on conformity to product requirements. The potentialities of tools for automatic and semi-automatic generation of a test suite by using a formal model in UCM notation are demonstrated, as well as tools for verification and automation of testing.
Keywords: symbolic verification, testing automation, concretization of test scenarios, predicative transformer. 
@article{MAIS_2013_20_6_a4,
     author = {P. D. Drobintsev and V. P. Kotlyarov and A. A. Letichevsky},
     title = {The {Guide-based} {Automatic} {Creation} of {Verified} {Test} {Scenarious}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {64--77},
     publisher = {mathdoc},
     volume = {20},
     number = {6},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a4/}
}
TY  - JOUR
AU  - P. D. Drobintsev
AU  - V. P. Kotlyarov
AU  - A. A. Letichevsky
TI  - The Guide-based Automatic Creation of Verified Test Scenarious
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2013
SP  - 64
EP  - 77
VL  - 20
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a4/
LA  - ru
ID  - MAIS_2013_20_6_a4
ER  - 
%0 Journal Article
%A P. D. Drobintsev
%A V. P. Kotlyarov
%A A. A. Letichevsky
%T The Guide-based Automatic Creation of Verified Test Scenarious
%J Modelirovanie i analiz informacionnyh sistem
%D 2013
%P 64-77
%V 20
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a4/
%G ru
%F MAIS_2013_20_6_a4
P. D. Drobintsev; V. P. Kotlyarov; A. A. Letichevsky. The Guide-based Automatic Creation of Verified Test Scenarious. Modelirovanie i analiz informacionnyh sistem, Tome 20 (2013) no. 6, pp. 64-77. http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a4/