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 | Sprache: Englisch | Produktart: Bücher.

Seller Inventory # 41260591/203

Bibliographic Details

• Title: Principles of Protocol Engineering and Conformance Testing (Ellis Horwood Series in Computer Communications and Networking)
• Publisher: Ellis Horwood Ltd , Publisher
• Publication Date: 1993
• Language: English
• ISBN 10: 013012642X
• ISBN 13: 9780130126429
• Condition: Gut
• Seller catalogs:
  • Bücher

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.