Proceedings ArticleDOI
An experience in estimating fault coverage of a protocol test
A.T. Dahbura,Krishan Kumar Sabnani +1 more
- pp 71-79
TLDR
This study uses Monte Carlo simulation and introduces a novel notion of machine equivalence and an algorithm given checks for this notion ofmachine equivalence.Abstract:
A description is given of an experience in estimating fault coverage of a test sequence designed to test the control portion of a protocol. The control portion of this protocol is modeled as a finite-state machine. This study uses Monte Carlo simulation and introduces a novel notion of machine equivalence. An algorithm given checks for this notion of machine equivalence. >read more
Citations
More filters
Book
An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours
TL;DR: In this article, a rural Chinese postman tour problem is used to determine a minimum-cost tour of the transition graph of a finite-state machine, which is used for protocol conformance testing.
Journal ArticleDOI
Formal methods for protocol testing: a detailed study
D.P. Sidhu,T.-K. Leung +1 more
TL;DR: This study shows that a test sequence produced by T- method has a poor fault detection capability, whereas test sequences produced by U-, D-, and W-methods have comparable (superior to that for T-method) fault coverage on several classes of randomly generated machines used in this study.
Journal ArticleDOI
An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours
TL;DR: It is shown that, when the unique input/output sequence (UIO) is used in place of the more cumbersome distinguishing sequence, both the controllability and observability problems of the protocol testing problem are addressed, providing an efficient method for computing a test sequence for protocol conformance testing.
Proceedings ArticleDOI
Protocol testing: review of methods and relevance for software testing
TL;DR: The purpose of this paper is to explain in which way the problem of testing protocol implementations is different from the usual problem of software testing.
Journal ArticleDOI
FSM-based conformance testing methods: A survey annotated with experimental evaluation
TL;DR: This paper overview and experiment with a number of methods for the development of a test suite based on a formal specification given in the form of a finite state machine to assess their complexity, applicability, completeness, fault detection capability, length and derivation time of their test suites.
References
More filters
Journal ArticleDOI
Formal methods for protocol testing: a detailed study
D.P. Sidhu,T.-K. Leung +1 more
TL;DR: This study shows that a test sequence produced by T- method has a poor fault detection capability, whereas test sequences produced by U-, D-, and W-methods have comparable (superior to that for T-method) fault coverage on several classes of randomly generated machines used in this study.
Journal ArticleDOI
Review of 'Error-Correcting Codes, 2nd edn.' (Peterson, W. W., and Weldon, E. J., Jr.; 1972)
Book
Fault detection in digital circuits
TL;DR: One that the authors will refer to break the boredom in reading is choosing fault detection in digital circuits as the reading material.