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/

[1] S. Baranov, V. Kotlyarov, A. Letichevskii, “Industrialnaya tekhnologiya avtomatizatsii testirovaniya mobilnykh ustroistv na osnove verifitsirovannykh povedencheskikh modelei proektnykh spetsifikatsii trebovanii”, Kosmos, astronomiya i programmirovanie, Trudy mezhdunar. nauch. konf., SPbGU, SPb., 2008, 134–145

[2] Yu. G. Karpov, Teoriya avtomatov, Piter, SPb., 2003, 208 pp.

[3] 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, 2005, 81–86 | MR

[4] http://www.itu.int/rec/T-REC-Z.151-200811-I/en

[5] A. Letichevsky, J. Kapitonova, A. Letichevsky (jr.), V. Volkov, S. Baranov, V. Kotlyarov, T. Weigert, “Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications”, Proc of ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL) (02 Nov 2004), IRISA, Rennes, France, 2004, 30–38

[6] http://www.etsi.org/deliver/etsi_ts/102400_102499/102441/

[7] A. A. Letichevskii, A. V. Kolchin, “Generatsiya testovykh stsenariev na osnove formalnoi modeli”, Problemy programmirovaniya, 2010, no. 2–3, 209–215 | MR

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

[9] I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevskii, A. A. Letichevskii ml., V. A. Nepomnyaschii, I. V. Nikiforov, S. V. Potienko, L. V. Priima, B. V. Tyutin, “Sredstva podderzhki integrirovannoi tekhnologii dlya analiza i verifikatsii spetsifikatsii telekommunikatsionnykh prilozhenii”, Trudy SPIIRAN, 2013, no. 1–28P

[10] P. D. Drobintsev, V. P. Kotlyarov, I. G. Chernorutskii, “Avtomatizatsiya testirovaniya na osnove pokrytiya polzovatelskikh stsenariev”, Nauchno-tekhnicheskie vedomosti SPbGPU, 2012, no. 4(152), 123–126

[11] Recommendation ITU-T Z.120. Message Sequence Chart (MSC), 11/2000