FSM Test Translation Through Context

In this paper, we define a formal approach for translating internal tests derived for a component embedded within a modular system into external tests defined over the external observable alphabets of the system. The system is represented as two communicating complete deterministic finite state machines, an embedded component machine to be tested and a context machine that represents the remaining part of the system. The context is assumed to be fault free and the interactions between the component machines are observable. When an internal test can not be translated in the given context, we demonstrate how another test with the guaranteed fault detection power could be determined (if such a test exists) that can be translated in the given context.

[1]  Nina Yevtushenko,et al.  Testing from partial deterministic FSM specifications , 2005, IEEE Transactions on Computers.

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

[3]  LeeD.,et al.  Testing Finite-State Machines , 1994 .

[4]  David Lee,et al.  Testing finite state machines , 1991, STOC '91.

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

[6]  Thierry Jéron,et al.  Remote testin can be as powerful as local testing , 1999, FORTE.

[7]  David de Frutos-Escrig,et al.  Formal Techniques for Networked and Distributed Systems – FORTE 2004 , 2004, Lecture Notes in Computer Science.

[8]  Jan Tretmans,et al.  A Queue Model Relating Synchronous and Asynchronous Communication , 1992, PSTV.

[9]  N. Yevtushenko,et al.  Fault detection in embedded components , 1997 .

[10]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

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

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

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

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

[15]  Khaled El-Fakih,et al.  Fault Propagation by Equation Solving , 2004, FORTE.