Automatic Test Cases Generation Based On UML State Diagrams

Software testing is more and more important in the process of softwaredevelopments, which penetrates the whole life cycle of software definition anddevelopment. And the key point in software testing is the design of test cases, whichmainly depends on the software requirements and designs and should satisfy theadequacy criteria of testing. The research in this thesis belongs to the category ofsoftware testing based on specification description.Test case design based on specification is a new technique, especially Modelbased Testing, to a certain extend is better than the traditional testing techniques. Thisthesis mainly studies the test case generation techniques based on UML State Diagrams.Firstly, the UML State Diagrams are transformed into Petri nets which have formalsemantics and mature analysis technology and are checked by some Petri net tools.Then, some graph techniques and the alternating variable methods are applied togenerate test cases, including test paths and test data. At last, this thesis designs andrealizes a transform tool and test cases generation tool for UML State Diagrams.