A Generalization of the multiple UIO method of test sequence selection for protocols represented in FSM

Conformance Testing is intended to assure that a given implementation of a protocol is equivalent to the standard specification of the protocol [32, 2]. The goal of interworking among heterogeneous systems can be achieved through conformance testing. Test suite selection (generation) is an important problem as the efficiency and the quality of testing depends on the test suite selected. The OSI conformance testing methodology and framework [2] defines a test suite as a set of test cases, one for each test purpose. Each test case is a collection of event sequences. If a protocol is specified as a deterministic Finite State Machine (FSM) then its test suite is usually specified as a single sequence of labels (input and expected output pairs) of the transitions. Such a test suite is referred to as a test sequence [4]. The specification of a protocol is normally described in Formal Description Techniques (FDTs) such as LOTOS [8], Estelle [9], or SDL [1]. Such a specification has many advantages including automatic test suite selection [3]. The control structure in the specification of a protocol can be represented as a Finite State Machine [6, 21]. In this paper, we consider only the control flow aspect of testing and we assume that the protocol is represented as an FSM. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.