Title :
A Formal Testing Framework for UML Statecharts
Author_Institution :
Hangzhou Dianzi Univ., Hangzhou
fDate :
July 30 2007-Aug. 1 2007
Abstract :
This paper introduces 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. Proper testing pre-orders and equivalences are introduced which allow to equate/distinguish systems on the basis of their interaction with the surrounding environment, abstracting from their internal structure. The formal testing framework for UML statecharts is express with Z.
Keywords :
Unified Modeling Language; formal specification; program testing; UML statechart; Unified Modeling Language; flattened regular expression state model; formal testing framework; semantics formalization; syntax formalization; Artificial intelligence; Distributed computing; FAA; Finance; Mathematics; Radio access networks; Software design; Software engineering; Software testing; Unified modeling language; FREE state model.; UML; Z; software testing;
Conference_Titel :
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on
Conference_Location :
Qingdao
Print_ISBN :
978-0-7695-2909-7
DOI :
10.1109/SNPD.2007.432
