Bookbot

Protocol Specification and Testing

Parametri

  • 392pagine
  • 14 ore di lettura

Maggiori informazioni sul libro

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.

Acquisto del libro

Protocol Specification and Testing, Katalin Tarnay

Lingua
Pubblicato
1991
product-detail.submit-box.info.binding
(Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Titolo
Protocol Specification and Testing
Lingua
Inglese
Pubblicato
1991
Formato
Copertina rigida
Pagine
392
ISBN10
0306435748
ISBN13
9780306435744
Serie
Tag
Descrizione
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.