DocumentCode
3231390
Title
A Formal Testing Framework for UML Statecharts
Author
Zhan, Xuede
Author_Institution
Hangzhou Dianzi Univ., Hangzhou
Volume
3
fYear
2007
fDate
July 30 2007-Aug. 1 2007
Firstpage
882
Lastpage
887
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SNPD.2007.432
Filename
4287973
Link To Document