Product validation for standardized network protocol

Abstract

To connect a new node to an established computer network, it is needed to confirm that the new node is constructed conforming to the network protocol. This paper describes a method to validate the protocol of the product based on an automaton model. The node to be tested is connected to protocol tester which applies a test sequence and observes the response from the node. Considering the fact that protocols are specified in terms of the responses to inputs from higher level as well as external inputs, to validate the protocol for input from higher level, an additional higher level program called validation task may be needed. This paper describes two method for validation of HDLC-BA protocol. The first method uses the validation task and the second method does not use the validation task. Detail of test sequence and the completeness of the validation are described in this paper.