Abstract
Protocol conformance testing based on Extend Finite State Machine (EFSM) is an open research topic. How to implement an automatic test generation system for EFSM-specified protocols is a challenging problem. This paper focuses on test generation system implementation techniques. Specifically, a feasible loosely-coupled system architecture and design idea is presented. Firstly, the four main functional modules of this system architecture and the relationships between them are introduced respectively in detail. Then, the entire test generation process of the system, divided into three key phases, is described according to the execution order of the system modules. Next, ATSGEN, an integrated automatic test sequence generation system specified in EFSM, is developed. Finally, a typical test example is given to demonstrate system features.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
