Geodesic
Incremental approach to the technology of test design for industrial projects
Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 144-154.

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

The paper presents an approach to effort reduction in developing test suites for industrial software products based on the incremental technology. The main problems to be solved by the incremental technology are full automation design of test scenarios and significant reducing of test explosion. The proposed approach provides solutions to the mentioned problems through joint co-working of a designer and a customer, through the integration of symbolic verification with the automatic generation of test suites; through the usage of an efficient technology with the toolset VRS/TAT.
Keywords: model driven testing, integrated verification and testing, automation design of test scenarios, reducing of test explosion. 
@article{MAIS_2014_21_6_a12,
     author = {P. D. Drobintsev and V. P. Kotlyarov and I. V. Nikiforov and A. A. Letichevsky},
     title = {Incremental approach to the technology of test design for industrial projects},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {144--154},
     publisher = {mathdoc},
     volume = {21},
     number = {6},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a12/}
}
TY  - JOUR
AU  - P. D. Drobintsev
AU  - V. P. Kotlyarov
AU  - I. V. Nikiforov
AU  - A. A. Letichevsky
TI  - Incremental approach to the technology of test design for industrial projects
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2014
SP  - 144
EP  - 154
VL  - 21
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a12/
LA  - ru
ID  - MAIS_2014_21_6_a12
ER  - 
%0 Journal Article
%A P. D. Drobintsev
%A V. P. Kotlyarov
%A I. V. Nikiforov
%A A. A. Letichevsky
%T Incremental approach to the technology of test design for industrial projects
%J Modelirovanie i analiz informacionnyh sistem
%D 2014
%P 144-154
%V 21
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a12/
%G ru
%F MAIS_2014_21_6_a12
P. D. Drobintsev; V. P. Kotlyarov; I. V. Nikiforov; A. A. Letichevsky. Incremental approach to the technology of test design for industrial projects. Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 144-154. http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a12/

[1] Z.151 : User requirements notation (URN) — Language definition, http://www.itu.int/rec/T-REC-Z.151/en

[2] I. Crnkovic, S. Larsson, M. R. V. Chaudron, “Component-Based Development Process and Component Lifecycle”, CIT, 13:4 (2005), 321–327 | DOI | MR

[3] J. D. Laurentiu, “Component Based Development Methods”, Comparison, Computer Systems and Technologies, 2004, 1–6 | Zbl

[4] H. Le, S. B. Kathayat, “A Framework to Support the Development of Collaborative Components”, 9th Workshop on System/Software Architectures, LNBIP, 83, Springer, Heidelberg, 2011, 378–384

[5] R. Sammi, I. Rubab, M. A. Qureshi, “Formal specification languages for real-time systems”, Information Technology: International Symposium Proceedings, ITSIM-2010, v. 3, 2010, 1642–1647

[6] P. Z. Kolano, Z. Dang, R. A. Kemmerer, “The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment”, Annals of Software Engineering, 7 (1999), 177–210 | DOI

[7] G. Bollella, B. Brosgol, P. Dibble, S. Furr, The Real-Time Specification for Java$^{\mathrm TM}$, http://www.cs.rice.edu/t̃aha/teaching/04F/RAP/cache

[8] J. A. Warmer, The Object Constraint Language, Precise Modeling with UML, Addison-Wesley, 1999

[9] 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

[10] I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevsky, O. A. Letychevsky, V. A. Nepomnyashchii, I. V. Nikiforov, S. V. Potiyenko, L. V. Priima, B. V. Tyutin, “Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs”, Tr. SPIIRAN, 26 (2013), 349-383 (in Russian)

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

[12] A. A. Letichevsky, J. V. Kapitonova, V. P. Kotlyarov, O. O. Letichevsky, V. V. Volkov, S. N. Baranov, T. Weigert, “Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications”, Proc. of ISSRE04 Workshop on Integrated Reliability Engineering (ISSRE04:WITUL), IRISA, Rennes France, 2004

[13] Kolchin A. V., Razrabotka instrumentalnykh sredstv dlya proverki formalnykh modeley asinkhronnykh sistem, Dis. ... kand. fiz.-mat. nauk, Kiev, 2009, 140 pp. (in Russian)

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

[15] A. A. Letichevsky, J. V. Kapitonova, V. P. Kotlyarov, A. A. Letichevsky, N. S. Nikitchenko, V. A. Volkov, T. Weigert, “Insertion modeling in distributed system design”, Software problems, 2008, 13–38 [Проблеми програмування]

[16] Mesarovich M., Takakhara Ya., Obshchaya teoriya sistem: matematicheskie osnovy, Mir, M., 1978 | MR

[17] P. Drobintsev, V. Kotlyarov, I. Nikiforov, A. Letichebsky, “A Formal Approachfor Generation of Test Scenarios Based on Guides”, 5th Workshop “Program Semantics, Specification and Validation: Theory and Applications” (Yekaterinburg, Russia, June 24, 2013), 31–41

[18] A. A. Letichevsky, A. B. Godlevsky, A. A. Letichevsky, S. V. Potienko, V. S. Peschanenko, “Properties of Predicate Transformer of VRS System”, Cybernetics and System Analyses, 4 (2010), 3–16 | Zbl

[19] A. B. Godlevsky, S. V. Potienko, “Backward transformation of formulas in symbolic modeling: from the result to the source formula”, Problems of Programming, 4 (2010), 363–368

[20] E. W. Dijkstra, C. S. Scholten, Predicate Calculus and Program Semantics, Springer-Verlag, 1990 | MR | Zbl

[21] P. D. Drobintsev, I. V. Nikiforov, V. P. Kotlyarov, “Translation of UCM Real-Time Constructs into Basic Protocols”, University Journal, 2013, no. 5, 193–201