By Topic

Automated generation of finite state machine from object-oriented formal specifications

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
$31 $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)
Khalid, S. ; Int. Islamic Univ., Islamabad, Pakistan ; Nadeem, A.

Finite state automata are widely used in specification-based testing. However, the existing specification- based testing techniques do not fully automate the generation of an FSM from a formal specification. Major challenges in automatic generation of FSM are the identification of disjoint states and transitions from the implicit pre- and postconditions of operations specified in a formal language like Z or Object-Z. It is important to extract pre- and postconditions from the specification because they form the basis for identification of pre- and post-states of the transitions of an FSM. In this paper, we present an automated approach to construction of an FSM from Object-Z formal specification. The proposed approach is supported by a tool and is also demonstrated on an example.

Published in:

Emerging Technologies (ICET), 2010 6th International Conference on

Date of Conference:

18-19 Oct. 2010