In contrast to OO(object-oriented) programming, OO testing has been received less attention in the past years. Now it is realized that an OO system can't be effectively tested with conventional test techniques and more and more people are seeking OO testing methods and techniques.Class is the basic unit of OO program and research on class testing is the most active. One of the methods is stated-based class testing, which is based on the conventional EFSM(extended finite state machine)-Based testing methods. The focus of all these testing techniques is automatic test cases generation.After summarizing the methods and techniques of EFSM-Based testing , this paper focuses on the problems of oracle and automatic test sequences generation from UML State Diagrams. To deal with the problem of state oracle, the State Invariant is introduced to identify state. With the purpose of shortening the length of the test sequences and trimming the redundant test sequences, the algorithm of generating test sequences, which satisfy the coverage metric, is amended. To demonstrate this technique, an automatic test cases generation tool is being developed. The input for the tool is a Rational Rose specification file and output are the test cases in TTCN notation. |