Research & Implementation Of Test Method Based On UML Sequence Diagram

With the development of information and technology, the scale of software is becoming wider and wider, and in software engineering one of the most concerned problem is how to guaranteeing and improving the quality of software. As software testing is one of the key technologies which guarantee the quality of software, it can effectively find out the bugs and failures in software.As UML model is widely used, software testing based on UML get more attention. This paper makes a deep research on test case generation method based on UML sequence diagram and the testing of polymorphic in software.Because the UML sequence diagram emphasize on graphicly expressing the interaction of objects, generating test case from UML sequence diagram directly is not convenient. So we need to chang UML sequence diagram to a equivalent form and generate test case base on this form.firstly, this paper propose the PCIRCFG(Polymorphic Class Interprocedural Restricted Control-Flow Graph)model and give a formal description of it because of the shortness of IRCFG(Interprocedural Restricted Control-Flow Graph)model.then also propose three kinds of coverage criteria based on PCIRCFG model. Test cases can be generated from PCIRCFG and coverage criterias.Secondly, this paper design and realize a automatic test case generation tool based on UML sequence.We introduce the main structure of the tool, and research on the key technology in the design and implementation of the tool, including:the definition of XMI Schema, the transformation of UML data file to XMI file, the data structure and the construction algorithm of PCIRCFG model, the test case generating algorithm of all-PCIRCFG path coverage criteria.Finally, this paper uses an example of drink-sale machine to illustrate the test case generating method we proposed.