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

Sarikaya, Behcet

ISBN 10: 013012642X ISBN 13: 9780130126429

Publisher: Ellis Horwood Ltd , Publisher, 1993

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.

Edition details

• Publisher: Ellis Horwood Ltd , Publisher
• Publication date: 1993
• ISBN 10: 013012642X
• ISBN 13: 9780130126429
• Binding: Textbook Binding
• Language: English
• Number of pages: 400