Protocol Specification and Testing

Protocol Specification and Testing
Author :
Publisher : Springer Science & Business Media
Total Pages : 379
Release :
ISBN-10 : 9781468457780
ISBN-13 : 1468457780
Rating : 4/5 (80 Downloads)

Book Synopsis Protocol Specification and Testing by : Katalin Tarnay

Download or read book Protocol Specification and Testing written by Katalin Tarnay and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 379 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Protocol Specification and Testing Related Books

Protocol Specification and Testing
Language: en
Pages: 379
Authors: Katalin Tarnay
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 i
Communication Protocol Specification and Verification
Language: en
Pages: 315
Authors: Richard Lai
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Communication protocols are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and d
Protocol Specification, Testing and Verification, XII
Language: en
Pages: 434
Authors: R.J. Linn
Categories: Computers
Type: BOOK - Published: 2016-09-20 - Publisher: Elsevier

DOWNLOAD EBOOK

For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification
Protocol Specification, Testing and Verification XIV
Language: en
Pages: 398
Authors: S.T. Vuong
Categories: Technology & Engineering
Type: BOOK - Published: 2013-11-11 - Publisher: Springer

DOWNLOAD EBOOK

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectur
Protocol Specification, Testing and Verification XV
Language: en
Pages: 452
Authors: Piotr Dembinski
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proce