minimum cost test case generation method based on an EFSM model

The invention relates to a minimum cost test case generation method based on an EFSM model. Based on an expansibility finite state machine and a set division theory, a migration coverage algorithm isdesigned, and a migration sequence set is obtained; And abstract models are given to different positions of the two migration sequences, analysis is carried out according to the abstract models, and then a reduction merging algorithm is designed to obtain a minimum test sequence set. Converting the minimum test sequence set to obtain an effective test path set, and finding out a shortest path froman initial state to a certain state by adopting reverse thinking in a conversion process; According to the method, the migration coverage criterion is met, invalid test paths and combination explosion problems can be avoided, the code coverage rate can be ensured, the number of the test paths in the set reaches the minimum, and the balance between the test cost and the test efficiency is ensured;The method is not only lim