Protocol Specification and Testing

Katalin Tarnay

ISBN 10: 0306435748 / ISBN 13: 9780306435744

Published by Plenum Publishing Corporation, 1991

About this Item

Leichte Kratzer / Abnutzungen / Druckstellen; Vergilbt / ausgeblichen. The growing prevalence of computer networks has sparked interest in their construction and applications. Central to this is the concept of protocols, defined as the rules that facilitate communication among functional units. This work adopts a practical approach to protocol specification and testing while clearly presenting the necessary theoretical foundations. Its main objectives are to familiarize readers with communication protocols, introduce formal description techniques, and apply these techniques to protocol specification and testing. The primary audience includes protocol developers, users, and those utilizing protocol testers, making it suitable for postgraduate and university courses on communication networks and data communication. Additionally, a significant portion of the book offers insights for managers, with particular relevance for postal organizations. The content is divided into three parts: the first covers the OSI Reference Model, frequently used protocols, and the basics of protocol testing; the second focuses on methods for protocol specification, generation, and testing, discussing finite-state machines, formal grammars, Petri nets, and specification languages like SDL, ESTELLE, and LOTOS; the third part addresses various applications.

Seller Inventory # 39f140be-04ee-4704-ae36-27caeaff8758

Bibliographic Details

• Title: Protocol Specification and Testing
• Publisher: Plenum Publishing Corporation
• Publication Date: 1991
• Language: English
• ISBN 10: 0306435748
• ISBN 13: 9780306435744
• Binding: Hardcover
• Condition: Fine

About this title

Synopsis

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 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 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."

Language Notes

Text: English
Original Language: Hungarian