Protocol Conformance Testing Using Unique Input/output Sequences

Protocol Conformance Testing Using Unique Input/output Sequences
Author :
Publisher : World Scientific
Total Pages : 270
Release :
ISBN-10 : 9810228325
ISBN-13 : 9789810228323
Rating : 4/5 (323 Downloads)

Book Synopsis Protocol Conformance Testing Using Unique Input/output Sequences by : Hsiao Sun

Download or read book Protocol Conformance Testing Using Unique Input/output Sequences written by Hsiao Sun and published by World Scientific. This book was released on 1997 with total page 270 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Protocol Conformance Testing Using Unique Input/output Sequences Related Books

Protocol Conformance Testing Using Unique Input/output Sequences
Language: en
Pages: 270
Authors: Hsiao Sun
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: World Scientific

DOWNLOAD EBOOK

This book deals with conformance testing for verification and validation of protocols for communication/distributed computer systems. The reader is introduced t
Computer Networks, Architecture and Applications
Language: en
Pages: 369
Authors: R.V. Raghavan
Categories: Science
Type: BOOK - Published: 2013-06-29 - Publisher: Springer

DOWNLOAD EBOOK

Computer Networks, Architecture and Applications covers many aspects of research in modern communications networks for computing purposes.
Formal Approaches to Software Testing
Language: en
Pages: 276
Authors: Alexandre Petrenko
Categories: Computers
Type: BOOK - Published: 2004-01-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, held
Formal Approaches to Software Testing
Language: en
Pages: 276
Authors: Andreas Ulrich
Categories: Computers
Type: BOOK - Published: 2004-01-24 - Publisher: Springer

DOWNLOAD EBOOK

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of fo
Protocol Test Systems
Language: en
Pages: 342
Authors: Tadanori Mizuno
Categories: Technology & Engineering
Type: BOOK - Published: 2013-03-09 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the latest research results in protocol testing. It contains the complete proceedings of the seventh IFIP WG6.1 International Workshop on Pro