Abstract: In the testing engineering,the basic step of the related test methods is to apply the test generated tree to construct test sequence.In this article,we added constraint set on the traditional test generated tree,making the tree more conform to the practice.We also considered the fluence of constraint set on the state separate sequence.We generated character set,states identification set,UIO sequence,and then proposed or advanced the algorithms.At the same time,we extended test method in NFSM,and proposed algorithms to generate prefix sequence and sate separate sets.The algorithm combines state separate matrix and FSM product,and is used in the adapt test of NFSM model,which makes the test theory on FSM completely.We constructed a test tool,which realizes these algorithms,and verifies the capability.Finally,the research work in the future was considered.

Key words: DFSM,NFSM,Constraint set,Adapt test