Incremental Approach to the Technology of Test Design for Industrial Projects

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