Advertisement

Product validation for standardized network protocol

  • Tadao Saito
  • Toshihiko Kato
  • Hiroshi Inose
Part VI, Network Operating Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 143)

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.

Keywords

Test Sequence Input Sequence External Input Validation Scheme Finite State Automaton 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

[References]

  1. Kawaoka T., et al. (1978). Specification and Verification of Protocols. Technical Group of IPS Japan, Software Eng. 8-5, Nov, 1978Google Scholar
  2. Hennie F.C. (1964). Fault Detecting Experiments for Sequential Circuits. Proc. 5th Annual Symposium an Switching Theory and Logical Design, Nov. 1964Google Scholar
  3. NTT (1978). Interface Condition of Packet Switching Service. Nippon Telegraph and Telephone Public Co., Nov. 1978Google Scholar
  4. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Tadao Saito
    • 1
  • Toshihiko Kato
    • 1
  • Hiroshi Inose
    • 1
  1. 1.Faculty of EngineeringUniversity of TokyoTokyoJapan

Personalised recommendations