Product validation for standardized network protocol
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.
KeywordsTest Sequence Input Sequence External Input Validation Scheme Finite State Automaton
Unable to display preview. Download preview PDF.
- Kawaoka T., et al. (1978). Specification and Verification of Protocols. Technical Group of IPS Japan, Software Eng. 8-5, Nov, 1978Google Scholar
- Hennie F.C. (1964). Fault Detecting Experiments for Sequential Circuits. Proc. 5th Annual Symposium an Switching Theory and Logical Design, Nov. 1964Google Scholar
- NTT (1978). Interface Condition of Packet Switching Service. Nippon Telegraph and Telephone Public Co., Nov. 1978Google Scholar
- Kato T., et.al. (1979). A Verification Method for HDLC Protocol by means of Cascade Decomposition of Automata. Technical Group of IECE Japan, EC79-37, Nov. 1979Google Scholar