Title :
Research on transformation from UML statechart to classical state diagram
Author :
Wu Xiaodan ; Zhang Xuejie ; Li Liangming
Author_Institution :
Comput. & Inf. Coll., Hohai Univ., Nanjing, China
Abstract :
UML statechart are finite state machines extended with hierarchy, orthogonality and broadcasting. It can describes all dynamic actions of the element in system. But it is very difficult to be applied to generating test cases directly in practical application for its complex syntax definition and imprecise semantics. The paper analyses the UML statechart in detail and designs a transformation algorithm for transformation from UML statechart to classical state diagram. It provides a feasible approch for generating test cases directly from UML statechart. At last the approach is illustrated with an example.
Keywords :
Unified Modeling Language; computational linguistics; finite state machines; UML statechart; broadcasting; classical state diagram; complex syntax definition; finite state machines; imprecise semantics; test case generation; transformation algorithm; Classical State Diagram; Model Transformation; Transformation Algorithm; UML Statechart;
Conference_Titel :
Computer Science and Network Technology (ICCSNT), 2012 2nd International Conference on
Conference_Location :
Changchun
Print_ISBN :
978-1-4673-2963-7
DOI :
10.1109/ICCSNT.2012.6525905
