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/

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

[2] J. Letichevsky, A. Kapitonova, Jr. Letichevsky, V. Volkov, S. Baranov, V. Kotlyarov, T. Weigert, “Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications”, Computer Networks, 47 (2005), 662–675

[3] Abbot framework for automated testing of Java GUI components and programs/Abbot, , 2011 http://abbot.sourceforge.net/doc/overview.shtml

[4] Jameleon — An Automated Testing Tool — Overview/Jameleon, , 2011 http://jameleon.sourceforge.net/index.html

[5] Silk Software Test Management, Test Automation and Performance Testing/Borland, , 2011 http://www.borland.com/us/products/silkline/index.aspx

[6] Open Source Software Engineering Tools/Tigris, , 2011 http://maxq.tigris.org

[7] Software Testing Tools and other Products/Parasoft, , 2011 http://www.parasoft.com/jsp/products.jsp

[8] IBM Rational software/IBM, , 2011 http://www-01.ibm.com/software/rational/?pgel=ibmhzn&cm_re=masthead-_-products-_-sw-rational

[9] S. N. Baranov, P. D. Drobintsev, V. P. Kotlyarov, A. A. Letichevsky, Implementation of an integrated verification and testing technology in telecommunication project, Proceedings. IEEE Russia Northwest Section. 110 Anniversary of Radio Invention conference (S. Petyersburg, 2005), 11 pp.

[10] A. A. Letichevskii, Yu. V. Kapitonova, V. A. Volkov, A. A. Letichevskii (ml.), S. N. Baranov, V. P. Kotlyarov, “Spetsifikatsiya sistem s pomoschyu bazovykh protokolov”, Kibernetika i sistemnyi analiz, 2005, no. 4, 256–268 | MR

[11] S. V. Potienko, “Metody pryamogo i obratnogo simvolnogo modelirovaniya sistem, zadannykh bazovymi protokolami”, Problemy programmirovaniya, 2008, no. 4, 39–45

[12] A. A. Letichevskii, A. B. Godlevskii, O. A. Letichevskii, S. V. Potienko, V. S. Peschanenko, “Svoistva predikatnogo transformera sistemy VRS”, Kibernetika i sistemnyi analiz, 2010, no. 4, 3–16

[13] A. B. Godlevskii, S. V. Potienko, “Obratnaya transformatsiya formul v simvolnom modelirovanii: ot rezultata k iskhodnoi formule”, Problemy programmirovaniya, 2010, no. 2–3, 363–368

[14] M. C. Lvov, “Algebraicheskii podkhod k zadache resheniya sistem lineinykh neravenstv”, Kibernetika i sistemnyi analiz, 2010, no. 2, 175–188 | MR | Zbl

[15] J. Goguen, J. Meseguer, Ordered-Sorted Algebra. I: Partial and Overloaded Operations. Errors and Inheritance, SRI International, Computer Science Lab., 1987

[16] T. S. Motskin, Kh. Raifa, Dzh. L. Tompson, R. M. Troll, “Metod dvoinogo opisaniya”, Matrichnye igry, Fizmatgiz, M., 1961, 81–109

[17] G. L. Zeidler, Lectures on convex polytopes, Springer-Verlag, New York, 1994

[18] S. N. Chernikov, Lineinye neravenstva, Nauka, M., 1968, 490 pp. | MR | Zbl

[19] S. N. Baranov, V. P. Kotlyarov, “Avtomatizatsiya formalizatsii trebovanii dlya polucheniya stsenariev testirovaniya programm”, Perspektivy sistem informatiki, Trudy seminara «Naukoemkoe programmirovanie» (15–19 iyunya 2009, Novosibirsk, Akademgorodok), 2009, 27–35

[20] 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, 2005, St. Petersburg), 81–86

[21] I. Nikiforov, A. Petrov, Yu. Yusupov, “Generatsiya formalnoi modeli sistemy po trebovaniyam, zadannym v notatsii USE CASE MAPS”, Nauchno-tekhnicheskie vedomosti SPbGPU, 2010, no. 4 (103), 191–195

[22] S. Baranov, V. Kotlyarov, Th. Weigert, “Verifiable Coverage Criteria for Automated Testing”, SDL 2011: Integrating system and software modeling, Lecture Notes in Computer Science, 7083, 2012, 79–89

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

[24] M. Utting, B. Legeard, Practical Model-Based Testing: A Tools Approach, Morgan-Kaufmann, 2007, 456 pp.

[25] I. Burdonov, A. Kosachev, V. Ponomarenko, V. Shnitman, Obzor podkhodov k verifikatsii raspredelennykh sistem, ISP RAN, M., 2006, 61 pp.