Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs

This paper studies the fault detection power of a widely used test suite, i.e., a test suite that traverses each possible transition of each component FSM (Finite State Machine) in the reference system. It is shown that such a test suite is complete, with respect to single output faults of a component under test, if the output of the component is accessible during a testing mode. Experiments have been performed showing that a test suite detecting single outputs faults of each component is good: 92 % of transfer and output faults of the composite FSM are detected.

[1]  Ana R. Cavalli,et al.  Hit-or-Jump: An algorithm for embedded testing with applications to IN services , 1999, FORTE.

[2]  Ana R. Cavalli,et al.  Test Suite Minimization for Embedded Nondeterministic Finite State Machines , 1999, IWTCS.

[3]  Nina Yevtushenko,et al.  Fault Models for Testing in Context , 1996, FORTE.

[4]  David Lee,et al.  Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach , 1996, IEEE Trans. Commun..

[5]  Ana Cavalli,et al.  A Pragmatic Approach to Generating Test Sequences for Embedded Systems , 1997 .

[6]  René David,et al.  Analysis of Detection Probability and Some Applications , 1990, IEEE Trans. Computers.

[7]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[8]  G. Bochmann,et al.  Testing deterministic implementations from nondeterministic FSM specifications , 1996 .

[9]  David Lee,et al.  Testing Finite State Machines: Fault Detection , 1995, J. Comput. Syst. Sci..

[10]  M. P. Vasilevskii.  Failure diagnosis of automata , 1973 .

[11]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[12]  Ana R. Cavalli,et al.  Application of embedded testing methods to service validation , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[13]  Nina Yevtushenko,et al.  Testing in context: framework and test derivation , 1996, Comput. Commun..

[14]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[15]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[16]  Alexandre Petrenko.  Checking Experiments with Protocol Machines , 1991, Protocol Test Systems.

[17]  Nina Yevtushenko,et al.  Test Generation Driven by User-defined Fault Models , 1999, IWTCS.

[18]  Gregor von Bochmann,et al.  Synchronization and Specification Issues in Protocol Testing , 1984, IEEE Trans. Commun..