Principles of protocol engineering and conformance testing
著者
書誌事項
Principles of protocol engineering and conformance testing
（Ellis Horwood series in computers and their applications）
Ellis Horwood, 1993
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より