On Fault Coverage of Tests for Finite State Specifications

DMCA

On Fault Coverage of Tests for Finite State Specifications (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by A. Petrenko , G. V. Bochmann

Venue:	Computer Networks and ISDN Systems
Citations:	30 - 9 self

BibTeX

@ARTICLE{Petrenko96onfault,
    author = {A. Petrenko and G. V. Bochmann},
    title = {On Fault Coverage of Tests for Finite State Specifications},
    journal = {Computer Networks and ISDN Systems},
    year = {1996},
    volume = {29},
    pages = {81--106}
}

OpenURL

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. 1. INTRODUCTION Testing is a critical phase in the development life cycle for any hardware and software system, and in particular for communication systems for which it ensures the conformance to the relevant standards and compatibility or interoperability with other systems. Testing con...

Keyphrases

finite state specification fault coverage test suite special attention complete fault coverage relevant standard communication system important issue fault coverage analysis protocol conformance software system finite state model critical phase certain issue development life cycle introduction testing basic idea

DMCA