Test Suite Minimization for Testing in Context

In this paper, the problem of test suite minimization for testing in context is studied and some results are proposed. The test architecture considered is general enough to allow the context and the component to have external inputs and outputs. Using a given fault model for testing in context, conditions are provided to detect all the redundant transitions that do not need to be tested. A complete test suite for the fault model is obtained and a method to select a minimal subset of this test suite with the same fault detection power is then proposed. Furthermore, the proposed method can be used to reduce a test suite produced by human experts while preserving its fault detection power.

[1]  Myungchul Kim,et al.  Design for testability of protocols based on formal specifications , 1996 .

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

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

[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]  Gregor von Bochmann,et al.  On the Construction of Submodule Specifications and Communication Protocols , 1983, TOPL.

[6]  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).

[7]  Monty Newborn,et al.  The Simplification of Sequential Machines with Input Restrictions , 1972, IEEE Transactions on Computers.

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

[9]  Robert K. Brayton,et al.  The maximum set of permissible behaviors for FSM networks , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

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

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

[12]  Jan Tretmans,et al.  A Formal Approach to Conformance Testing , 1993, Protocol Test Systems.

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

[14]  Joachim Parrow,et al.  Submodule Construction as Equation Solving in CCS , 1989, Theor. Comput. Sci..

[15]  Marc Phalippou.  Relations d'implantation et hypothèses de test sur des automates à entrées et sorties , 1994 .

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

[17]  David Lee,et al.  Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines , 1996, FORTE.