关键词: 软件测试, 分组遗传算法, 启发式信息, 迁移路径生成

Abstract: Computer software occupies an increasing proportion of military equipment. The quality of software determines the quality of equipment, and software testing is an important method to improve software quality. UML state diagram is a modeling method widely used for model-based testing. Transition coverage is one of the important test coverage criteria. The dependency relationship between the transitions in the state diagram will make the transitions path unable to be executed according to the input sequence, and it results in a decrease of the coverage rate and affects the testing effect. For this reason, this paper proposes an improved group genetic algorithm to automatically generate the feasible transition path, solving the problem by legitimately designing coding methods and fitness functions. In the algorithm, adaptive crossover operator and mutation operator and the simulated annealing mechanism are introduced to the genetic manipulation to increase the speed of solution, repair operator is also used to limit the length of individual. Experiment result shows that the method can increase transition coverage based on the reduction of genetic population size and amount of the genetic generation.

Key words: software testing, grouping genetic algorithm, heuristic information, transition path generation