Protocol Specification and Testing

1. Front Matter

   Pages I-XXIII

   PDF

2. Communication Protocols Overview

   1. Front Matter

      Pages 1-1

      PDF

   2. The Reference Model and its Layers

      • K. Tarnay

      Pages 3-28

   3. The Seven Layers

      • K. Tarnay

      Pages 29-76

   4. Abstract Model of Testing

      • K. Tarnay

      Pages 77-103

3. Formal Description Techniques

   1. Front Matter

      Pages 105-105

      PDF

   2. State-Transition Based Models

      • K. Tarnay

      Pages 107-121

   3. Graph Models

      • K. Tarnay

      Pages 123-150

   4. Algebras and Formal Languages

      • K. Tarnay

      Pages 151-173

   5. Specification Languages for Communication

      • K. Tarnay

      Pages 175-225

4. Applications

   1. Front Matter

      Pages 227-227

      PDF

   2. Alternating-Bit Protocol Specification

      • K. Tarnay

      Pages 229-246

   3. Protocol Specifications in the Data Link Layer

      • K. Tarnay

      Pages 247-279

   4. Formal Description of Transport Protocols

      • K. Tarnay

      Pages 281-303

   5. Conformance Testers

      • K. Tarnay

      Pages 305-319

   6. Test Sequences

      • K. Tarnay

      Pages 321-342

5. Back Matter

   Pages 343-368

   PDF

The increasing number of computer networks has aroused users' interest in many and various fields of applications, in how a computer network can be built, and in how it may be used. The fundamental rules of computer networks are the protocols. "A protocol is a set of rules that governs the operation of functional units to achieve communication" [STA-86}. The book follows a practical approach to protocol speci­ fication and testing, but at the same time it introduces clearly and precisely the relevant theoretical fundamentals. The principal objectives of this work are: to familiarize readers with communication protocols, to present the main, formal description techniques, to apply various formal description techniques to protocol specification and testing. It is considered that the readership will primarily consist of protocol developers, protocol users, and all who utilize protocol testers. Secondly the book is suggested for postgraduate courses or other university courses dealing with communication networks and data communication. A large part of the book provides a comprehensive overview for managers; some parts are of especial interest to postal organizations. The book consists of three parts: the first part introduces the OS! Reference Model, it provides an overview of the most frequently used protocols and explains the fundamentals of protocol testing. The second part familiarizes readers with the methods used for protocol 5pecification, generation, and testing. Finite-state machines, formal grammars, Petri nets and some speCification languages (SDL, ESTELLE, LOTOS) are discussed in a pragmatic style. The third part deals with applications.

• communication
• communication network
• computer
• model
• network

• Central Research Institute for Physics, Budapest, Hungary

  K. Tarnay

Policies and ethics