Incremental approach to the technology of test design for industrial projects

P. D. Drobintsev^a, V. P. Kotlyarov^a, I. V. Nikiforov^a, A. A. Letichevsky<sup>b

a</sup> 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

Abstract: 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.

UDC: 004.415

Received: 30.09.2014