Rapid high-path coverage rate test case generation method

Abstract

The invention provides a rapid high-path coverage rate test case generation method, which comprises the following steps of: obtaining a control flow graph of a target program, and determining father-child relations in multiple nodes in the flow graph; judging whether each node is a branch node or not; obtaining a test case set, taking each test case as an individual in a genetic algorithm, and forming an initial population by a plurality of individuals; constructing a branch crossing matrix; calculating a branch deviation degree of crossing any one branch node in the current generation population according to the constructed branch crossing matrix; Calculating the branch deviation degrees of all the branch nodes in the program, and taking the sum of the branch deviation degrees of all thebranch nodes as the program deviation degree of the individual traversing program in the current generation of population; and performing iterative optimization according to the constructed branch crossing matrix and the program deviation degree by using a genetic algorithm, and obtaining the next generation of population and the program deviation degree of the next generation of population crossing the tested program until a test case covering the target path is generated or the maximum evolution algebra of the genetic algorithm is reached.

Description

technical field [0001] The invention relates to the field of software testing, in particular to the generation of test cases in software testing. Background technique [0002] Software testing is an important means to ensure the quality of software products, and automatic generation of test data is the focus and difficulty of software testing. In recent years, some scholars have studied the application of evolutionary theory to generate test data that meets the path coverage criteria, and proposed many new methods that use genetic algorithms to automatically generate test data that cover the target path. As we all know, the design of fitness function is the key of genetic algorithm. For example, McMinn (McMinn P. Evolutionary search for test data in the presence of state behavior [D]. University of Sheffield, England, 2005) normalizes the branch distance to [0,1), and gives the normalized branch distance and layer The fitness value function of the proximity, and minimize t...

AI Technical Summary

Problems solved by technology

[0003] However, in the calculation of the fitness value of the above method, the branch distance is considered. The calculation of the branch distance needs to be calculated for each simple predicate. Assuming that a target path has h nodes, and each node has at least one simple predicate, then the branch distance calculation needs to be calculated. H, and then summed, if each node is a compound predicate, the amount of calculation will increase exponentially; when there is a flag phenomenon in the program (Binkley D.W., Harman M., Lakhotia K..F1agRemover: a testability transformation for transforming loop assigned flags [J].ACM Transactions...

Images