Protocol Conformance Testing Using Unique Input/output Sequences
Seiten
1997
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-02-2832-3 (ISBN)
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-02-2832-3 (ISBN)
- Titel z.Zt. nicht lieferbar
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
Volume 12 in the ADVANCED ELECTRICAL AND COMPUTER ENGINEERING SERIES. The authors deal with conformance testing for verification and validation of protocols for communication and distributed computer systems. The FSM model is used to introduce the reader to the topic, and the book is aimed at both practicing engineers and academics.
This book deals with conformance testing for verification and validation of protocols for communication/distributed computer systems. The reader is introduced to this topic using the Finite State Machine (FSM) model together with a comprehensive review of past and current work. A detailed treatment of graph approaches for vector generation and fault coverage evaluation is presented using examples with real protocols.Qualitative and quantitative measures are introduced to quantify and compare these approaches, inclusive of the length of the generated test sequence and fault detection capabilities. Different techniques such as the Rural Chinese Postman Tour and compaction by test overlapping, are fully analyzed for achieving the desired figures of merit.Novel analytical frameworks such as the fault model and the test sequence generation, are proposed to facilitate a better understanding of the conformance testing process for the practicing engineer as well as an academic audience.
This book deals with conformance testing for verification and validation of protocols for communication/distributed computer systems. The reader is introduced to this topic using the Finite State Machine (FSM) model together with a comprehensive review of past and current work. A detailed treatment of graph approaches for vector generation and fault coverage evaluation is presented using examples with real protocols.Qualitative and quantitative measures are introduced to quantify and compare these approaches, inclusive of the length of the generated test sequence and fault detection capabilities. Different techniques such as the Rural Chinese Postman Tour and compaction by test overlapping, are fully analyzed for achieving the desired figures of merit.Novel analytical frameworks such as the fault model and the test sequence generation, are proposed to facilitate a better understanding of the conformance testing process for the practicing engineer as well as an academic audience.
| Erscheint lt. Verlag | 5.12.1997 |
|---|---|
| Reihe/Serie | Advanced Series in Electrical & Computer Engineering ; 12 |
| Verlagsort | Singapore |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
| Mathematik / Informatik ► Informatik ► Netzwerke | |
| Technik ► Elektrotechnik / Energietechnik | |
| ISBN-10 | 981-02-2832-5 / 9810228325 |
| ISBN-13 | 978-981-02-2832-3 / 9789810228323 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
der Ausbildungsbegleiter
Buch | Hardcover (2023)
Rheinwerk (Verlag)
CHF 55,85
