中文

Journal of Applied Sciences ›› 2006, Vol. 24 ›› Issue (5): 491-497.

• Articles • Previous Articles     Next Articles

Test Framework of Object-Oriented Software Based on UML Statecharts

ZHAN Xue-de1, MIAO Huai-kou2   

  1. 1. Institute of Finance and Economics, Hangzhou Dianzi University, Hangzhou 310018, China;
    2. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
  • Received:2005-06-07 Revised:2005-10-11 Online:2006-09-30 Published:2006-09-30

PDF

118

Abstract: It is difficult to generate test cases of class directly from the UML statechart diagrams that contain a hierarchical and concurrent structure.This paper presents a test framework based on UML statecharts.The UML state chart diagram is first drawn using UML tools.The specification of the UML statechart is exported in XMI (XML metadata interchange).According to the formal semantics of UML statecharts, the UML statecharts are transformed into flattened regular expression (FREE) model diagrams.The hierarchical and concurrent structure of states is flattened in the FREE state model.The XML document of UML statechart diagram specification is converted into the specification of FREE model.Finally, test case sets of classes are generated separately based on different test coverage criteria from the specification of the FREE model.In addition, an algorithm generating transition sequence based on full ZOT path coverage criteria from a FREE model is presented.The test framework is implemented.

Key words: UML statecharts, specification-based software testing, test framework, Z, FREE model

CLC Number: