Incremental approach to the technology of test design for industrial projects

Abstract

The paper presents a technology to effort reduction in developing test suites for industrial software products based on an incremental technology. The main problems to be solved by 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 the designer and the customer with usage of formal models; and through methods of symbolic verification with automatic generation of test suites with the toolset VRS/TAT.