By Topic

Automatic test generation from communicating extended finite state machine (CEFSM)-based models

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)
Li, J.J. ; Avaya Res. Labs., Basking Ridge, NJ, USA ; Wong, W.E.

We present a methodology based on communicating extended finite state machines (CEFSM) to generate tests automatically from system specifications. Unlike other model-based methods, it does not require the creation of any new models. Rather, it uses the existing available system models including both data and behavioral information. Our CEFSM-based test generation uses FSMs (finite state machines) to model behavior and events, their extension with variables to model data, and their interaction channels to model communication. Our method generates tests based on a combination of behavior, data, and communication specifications. Another important difference is that our method addresses branching coverage not only for data-related decision coverage, but also behavioral transition coverage. Sophisticated "priority" and "dominator" analysis is applied to generate efficient test cases to increase, as much as possible with as few tests as possible, the branching coverage of the system being tested

Published in:

Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on

Date of Conference: