In this paper,the functions and the architecture of an ATM exchange are summarized.The switching fabrics,the line interface module and the control module are di
Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exac