An improved FSM-based method for BGP protocol conformance testing

In protocol engineering area, conformance testing is a very important step. The purpose of conformance testing is to determine to what extent a single implementation of a particular standard conforms to the individual requirements of that standard. The Finite State Machine (FSM) model is usually used in protocol conformance testing. In this paper, an improved FSM-based method is introduced to generate the conformance test sequences of BGP protocol. This FSM-based method is a mixture version of Unique Input Output (UIO) method and T method. The UIO method has better capability than T method, but the length of conformance test sequences of that is much longer. The simulation results have shown that the improved method has better fault coverage than UIO method, while the length of the test sequences is close to T method.