Principles of protocol engineering and conformance testing
Author(s)
Bibliographic Information
Principles of protocol engineering and conformance testing
(Ellis Horwood series in computers and their applications)
Ellis Horwood, 1993
Available at / 8 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
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.
Table of Contents
- Communication architectures
- basic techniques
- abstract syntax notation-one
- Estelle
- SDL
- LOTOS
- conformance testing
- normalization and simplification
- control and data flow and test case generation
- reduction of test cases
- TTCN
- TTCN representation of test cases
- computer-aided test generation.
by "Nielsen BookData"