Generating Interoperability Test Sequence for Distributed Test Architecture : A Generic Formal Framework

Zhiliang Wang,Jianping Wu,Xia Yin

2004-01-01

Abstract:Protocol interoperability testing is an important complement of conformance testing to ensure the quality of implementations of network communication protocols. In this paper, we present a generic formal framework of interoperability test sequence generation considering distributed test architecture. We firstly give an extended CFSM model, which represents each component machine as a multi-port FSM, to specify system under test conveniently. In the framework, the first step is to generate the centralized test sequence using reachability analysis approach; Then suitable distributed test architecture should be selected; After that, we discuss the controllability and observability problems in interoperability testing. In order to solve these problems, we present a formal algorithm to generate synchronizable interoperability test sequence. An example is given to illustrate this formal framework.