Principles of Protocol Engineering and Conformance Testing (Ellis Horwood Series in Computer Communications and Networking)

Sarikaya, Behcet

ISBN 10: 013012642X / ISBN 13: 9780130126429

Published by Ellis Horwood Ltd , Publisher, 1993

About this Item

Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 400 | Produktart: Sonstiges. Seller Inventory # 41260591/203

Bibliographic Details

Title: Principles of Protocol Engineering and ...

Publisher: Ellis Horwood Ltd , Publisher

Publication Date: 1993

Condition: Gut

About this title

Synopsis:

This volume provides complete coverage of standardized protocol formal description techniques, including ASN.1, Estelle, SDL, LOTOS, and TTCN. Opening with an introduction to communication architectures, basic protocol engineering techniques of specification and testing are then discussed, including finite-state machines and Petri nets, reachability analysis, and various FSM based test generation techniques. A chapter is devoted to each of the different protocol techniques before the author introduces conformance testing and formal specification based test design. Information on control, data flow and test case dependence graphs follows, before the test suite specification language TTCN (in which ASN.1 is integrated) is addressed. The final part of the book develops the methodology of test suite generation, dynamic behaviour generation, and the generation of declarations and constraints.