Method of test scenario generation based on UML dynamic view

Research and Implementation of the Protocol Conformance Testing System for Routing Protocol OSPF Based on UML Statechart;

To solve these problems,an approach is given to the UML Statechart be time-extended,and an approach is proposed to formalize the time-extended UML statechart with "executable UML".

To achieve the merit of two graphics tools,a method is proposed to transform the UML statechart to the EFSM.

By transforming UML state diagrams into extended finite state machines (EFSMs), an algorithm is presented to eliminate the infeasible paths in these EFSMs.

Verification Method of Concurrent Workflows Based on Extended UML Statecharts

And how to testing UML statecharts is becoming a hotspot of research.

This paper presents a set of test adequacy criteria for UML statecharts,and proposes two new test coverage criteria,N-transition coverage criteria,and classified loop coverage criteria.

Research of model information extraction based on UML statechart diagram;

This paper combines the three techniques UML statechart diagram,program slicing and software testing together to generate the UML statechart slices that based on the dependency analysis.

Through the dependency analysis,this paper generates the UML statechart diagram and dependency diagram.