Abstract
Purchase PDF (2863 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (12)
Purchase PDF (1467 K)
doi:10.1016/S0169-7552(96)00019-0 
Copyright © 1996 Published by Elsevier Science B.V.
On fault coverage of tests for finite state specifications
Available online 11 May 1998.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Testing is a trade-off between increased confidence in the correctness of the implementation under test and constraints on the amount of time and effort that can be spent in testing. Therefore, the coverage, or adequacy of the test suite, becomes a very important issue. In this paper, we analyze basic ideas underlying the techniques for fault coverage analysis and assurance mainly developed in the context of protocol conformance testing based on finite state models. Special attention is paid to parameters which determine the testability of a given specification and influence the length of a test suite which guarantees complete fault coverage. We also point out certain issues which need further study.
Author Keywords: Communication protocols; Conformance testing; Testing theory; Formal description techniques
