Incremental approach to the technology of test design for industrial projects
P. D. Drobintseva, V. P. Kotlyarova, I. V. Nikiforova, A. A. Letichevskyb
a St. Petersburg State Polytechnical University, Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia
b Glushkov Institute of Cybernetic of NAS of Ukraine, Glushkova av., 40, Kyiv, 03187, Ukraine
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.
model driven testing, integrated verification and testing, automation design of test scenarios, reducing of test explosion.
PDF file (1070 kB)
P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, “Incremental approach to the technology of test design for industrial projects”, Model. Anal. Inform. Sist., 21:6 (2014), 144–154
Citation in format AMSBIB
\by P.~D.~Drobintsev, V.~P.~Kotlyarov, I.~V.~Nikiforov, A.~A.~Letichevsky
\paper Incremental approach to the technology of test design for industrial projects
\jour Model. Anal. Inform. Sist.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|