A method to generate test sequences for protocol conformance testing

This paper presents a method to generate test sequences which test both data flow portion and control flow portion of Implementation Under Test (IUT) for protocol conformance testing. The method is based on a model called Normal Extended Finite-State Machine (NEFSM) which makes the conditions and variables used in the state transition externally controllable. Algorithm to generate test sequence is given. As an example, the proposed technique is applied to class O transport protocol TPO specification described in NEFSM throughout the paper.<>