loading...
A Formal Testing Framework for UML Statecharts
Haier International Training Center, Qingdao, China July 30-August 01
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SNPD.2007.432Eighth ACIS International Conference ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Xuede Zhan, "A Formal Testing Framework for UML Statecharts," Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on, vol. 3, pp. 882-887, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SNPD.2007.432,
author = {Xuede Zhan},
title = {A Formal Testing Framework for UML Statecharts},
journal ={Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on},
volume = {3},
year = {2007},
isbn = {0-7695-2909-7},
pages = {882-887},
doi = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2007.432},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on
TI - A Formal Testing Framework for UML Statecharts
SN - 0-7695-2909-7
SP882
EP887
A1 - Xuede Zhan,
PY - 2007
KW - UML
KW - Z
KW - software testing
KW - FREE state model.
VL - 3
JA - Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on
ER -
 
Xuede Zhan, Hangzhou Dianzi University, China
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.
Index Terms:
UML, Z, software testing, FREE state model.
Citation:
Xuede Zhan, "A Formal Testing Framework for UML Statecharts," snpd, vol. 3, pp.882-887, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.