Research Of Testing Method Based On UML Statecharts

Unified Modeling Language (UML) is a graphical modeling language with powerful ability and intuitionistic meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software developing process and modeling environments have been widely accepted in the industrial community, which includes the safety areas such as spaceflight, national defense, and automobile, etc.How to guarantee and improve the software quality becomes the main concerned point in the field. As one of the key techniques of guaranteeing software quality, software testing can effectively detect the faults in the system. Thus, software testing based on UML has become an important research direction of software engineering. The key of software testing is to generate test cases. This paper discusses an approach to generating test cases from UML statecharts.It's difficult to generate test cases of class directly from the UML statecharts diagrams that contain hierarchical and concurrent structure. This paper presents test framework based on UML statecharts: The first, UML statechart diagram is drawn using existing UML tools (such as ArgoUML etc.), and, its specification document of XMI (XML Metadata Interchange) format is generated. Afterward, according to precise semantics of UML statechart, the specification XML document of UML statechart diagram can be transformed into the specification information of FREE model. The hierarchical and concurrent structure of states is flattened in the resulting FREE state model. Finally, according to the specification information of FREE model, test case set of class is generated based on different coverage criterion.UML statechart diagram is a notation for describing behaviours in the framework of UML. UML statechart diagram is an important part of the standard UML language. However, UML statecharts lack precisely defined syntax and semantics. This paper provides a method of formalizing syntax and semantics of UML statecharts with Z. According to this precise semantics, UML statecharts are transformed into FREE (Flattened Regular Expression) state models. Not only the model helps to determine whether the software design is consistent, unambiguous and complete, but also it is beneficial to software testing.The core of software testing is test adequacy criteria. The generating test cases are directly determined test adequacy criteria. This paper presents these adequacy criteria that are generated test cases based on UML diagram. They are state coverage criterion, transition coverage criterion, full predicate coverage criterion and transition-pair coverage criterion. It isn't very complete that a loop is executed only...