TY - GEN
T1 - Automatic test generation from communicating extended finite state machine (CEFSM)-based models
AU - Li, J. Jenny
AU - Wong, W. Eric
N1 - Publisher Copyright:
© 2002 IEEE.
PY - 2002
Y1 - 2002
N2 - 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.
AB - 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.
KW - Automata
KW - Automatic testing
UR - http://www.scopus.com/inward/record.url?scp=84864352874&partnerID=8YFLogxK
U2 - 10.1109/ISORC.2002.1003693
DO - 10.1109/ISORC.2002.1003693
M3 - Conference contribution
AN - SCOPUS:84864352874
T3 - Proceedings - 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2002
SP - 181
EP - 185
BT - Proceedings - 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2002
A2 - Hong, Seongsoo
A2 - Puschner, Peter
A2 - Bacellar, Luiz
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2002
Y2 - 29 April 2002 through 1 May 2002
ER -