Software testing is playing an important role in the process of softwaredevelopment. It assures the quality of software. One of the essences of testing is howto design and generate test cases. The quality of software is mostly depending on thequantity and quality of test cases.Recently, testing approach based on UML models has become an active topic.This thesis focuses on an approach of automatic generation of test cases from UMLactivity diagrams. Since UML is a semi-formal modeling language, a method which ischanging UML activity diagram models into Petri nets is presented in this thesis. UsingPetri net analysis techniques to identify model errors or defects can improve UMLactivity diagram models. In test scenario generation part, this approach is to convert anactivity diagram into a directed graph and then collect test scenarios by depth-firstsearch of the directed graph. And in test case generation part, three types of negativetest cases are introduced and a test case generation algorithm is given.Finally, the design and implementation of an automatic test case generation tool isintroduced. This tool ensures the feasibility of the test case generation approachpresented. |