Abstract:To generate the test sequence, it has to achieve the description of temporal constraints. At present, there is no effective method to realize this objective. Therefore, a modeling method for sequence testing with temporal constraints is proposed in this article. The allowable intervals of state transition are proposed, which can describe the continuous appearing number of a former state when there is a state transition. Another problem of sequence testing is how to evaluate the target coverage degree effectively. This problem is solved by introducing kernel functions to evaluate the target coverage degree of test sequences. Finally, the real cases are modeled based on the proposed method. The availability and feasibility of the method are validated.