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/