Control flow based test suite generation

The article is devoted to description of an approach to test suite generation in accordance with standard structured coverage criteria based on the control flow model. The approach is based on automatic test generation with usage of symbolic verification. The main advantage of the approach is reducing the number of generated tests obtained due to analysis of control flow data and reducing the state space for the verification system. The article contains the main ideas of the approach, the formal model of control flow, and the tools for model analysis. The results of piloting the approach in a set of projects devoted to software development are also presented.