Method and device for state labeling and model detection of state machine model

The invention relates to a state labeling and model detection method and device for a state machine model, and the method comprises the steps: mapping the input and output of a constraint model and a to-be-detected state machine model, and obtaining a score calculation mode; calculating a matching score based on a score calculation mode, and searching a best matching mapping relation from the state of the to-be-detected state machine model to the state of the constraint model according to the matching score; constructing a recombination model based on the optimal matching mapping relation between the state of the to-be-detected state machine model and the state of the constraint model; the constraint model is used to label the state of the recombination model and the state transition that the recombination model is inconsistent with the constraint model. Therefore, the problems that in the related technology, when system testing is carried out, due to the fact that the model obtained through a model learning