Control flow based test suite generation

N. Voinov, P. Drobintsev, V. Kotlyarov, I. Nikiforov, I. Selin

Saint-Petersburg State Polytechnical University, 9 Polytechnicheskaya Str., St. Petersburg 195251, Russian Federation

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

Keywords: testing automation; formal model; coverage criterion.

Received: 28.01.2015

DOI: 10.14357/08696527150104

Bibliographic databases:

•