By Topic

A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
D. Latella ; Ist. CNUCE, CNR, Italy ; M. Massink

We propose a formal testing framework for a behavioural subset of UML statechart diagrams (UMLSDs). A formal operational semantics is defined, which uses the same core semantics introduced in Latella et al. (1999) but which is better suited for testing theory. The new semantics is proved consistent with our original one and is guaranteed to generate only finite state machines. Proper testing pre-orders and equivalences are defined which allow us to equate/distinguish systems on the basis of their interaction with the surrounding environment, abstracting from their internal structure. Finally, we provide a way for effective automatic verification of testing equivalence of our statecharts, based on existing techniques and tools

Published in:

High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on

Date of Conference: