On fault coverage of tests for finite state specifications

https://doi.org/10.1016/S0169-7552(96)00019-0Get rights and content

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.

References (81)

  • L.J. Morell

    A theory of fault-based testing

    IEEE Trans. Software Engrg.

    (1990)
  • D.P. Sidhu et al.

    Formal methods for protocol testing: a detailed study

    IEEE Trans. Software Engrg.

    (1989)
  • G.v. Bochmann et al.

    Fault models in testing

  • A. Petrenko et al.

    Conformance relations and test derivation

  • A. Faro et al.

    Sequence generation from EF-SMs for protocol testing

  • R. Probert et al.

    Mutation testing of protocols: principles and preliminary results

  • R.E. Miller et al.

    Generating conformance test sequences for combined control and data of communication protocols

  • S.T. Chanson and J. Zhu, “A unified approach to protocol test generation”, Proc. IEEE INFOCOM'93, pp....
  • C.-J. Wang and M.T. Liu, “Generating test cases for EFSM with given fault models”, Proc. IEEE INFOCOM'93, pp....
  • B. Jeng et al.

    A simplified domain-testing strategy

    ACM Trans. Software Engrg. Methodology

    (1994)
  • G.v. Bochmann et al.

    Protocol testing: review of methods and relevance for software testing

  • E.F. Moore
  • F.C. Hennie

    Fault detecting experiments for sequential circuits

  • G.v. Bochmann et al.

    Fault coverage of tests based on finite state models

  • M. Yao et al.

    A structural analysis approach to the evaluation of fault coverage for protocol conformance testing

  • E.P. Hsieh

    Checking experiments for sequential machines

    IEEE Trans. Comput.

    (1971)
  • M. Yao et al.

    Conformance testing of protocol machines without rest

  • D.P. Sidhu and T.K. Leung, “Fault coverage of protocol test methods”, Proc. IEEE...
  • R.E. Miller et al.

    Generating maximal fault coverage conformance test sequences of reduced length for communication protocols

  • H. Ural et al.

    Optimal test sequence generation using distingushing sequences

    IEEE Trans. Networking

    (1993)
  • H. Motteler et al.

    Fault coverage of UIO-based methods for protocol testing

  • A. Gill
  • A. Petrenko et al.

    On evaluation of testability of protocol structures

  • T. Tylaska et al.

    An improved bound for checking experiments that use simple input-output and characterizing sequences

    IEEE Trans. Comput.

    (1975)
  • D. Lee et al.

    Testing finite-state machines: state identification and verification

    IEEE Trans. Comput.

    (1994)
  • B.A. Trakhtenbrod et al.
  • M.P. Vasilevski

    Failure diagnosis of automata

  • T.S. Chow

    Test design modeled by finite-state machines

    IEEE Trans. Software Engrg.

    (1978)
  • N. Yevtushenko et al.

    Fault-detection capability of multiple experiments

  • S. Fujiwara et al.

    Test selection based on finite state models

    IEEE Trans. Software Engrg.

    (1991)

    • Cited by (0)

    View full text
    Copyright © 1996 Published by Elsevier B.V.