loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM
Edinburgh, Scotland
July 26-July 28
ISBN: 0-7695-2413-3
Shuhao Li, National Laboratory for Parallel and Distributed Processing
Ji Wang, National Laboratory for Parallel and Distributed Processing
Xin Wang, National Laboratory for Parallel and Distributed Processing
Zhi-Chang Qi, National Laboratory for Parallel and Distributed Processing
This paper presents a new approach to generating configuration-oriented executable symbolic test sequences from Extended Finite State Machine (EFSM) models. The information about the values of the context variables and the domain intervals of the input parameters are exploited to guide the derivation of the test sequences. Meanwhile, the transition guards along the test sequences are continually used to reduce the domain intervals of the input parameters. Experiments indicate that this method significantly reduces the EFSM state space to be explored and the number of non-executable symbolic test sequences to be generated. Since parameterized input events are allowed to occur in EFSM cycles, this method is suitable for testing the open reactive systems that interact with the environments via parameterized input events.
Citation:
Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi, "Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM," compsac, vol. 1, pp.13-18, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1, 2005
Usage of this product signifies your acceptance of the Terms of Use.