Fault Propagation by Equation Solving

  • Khaled El-Fakih
  • Nina Yevtushenko
Conference paper

DOI: 10.1007/978-3-540-30232-2_12

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3235)
Cite this paper as:
El-Fakih K., Yevtushenko N. (2004) Fault Propagation by Equation Solving. In: de Frutos-Escrig D., Núñez M. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2004. FORTE 2004. Lecture Notes in Computer Science, vol 3235. Springer, Berlin, Heidelberg


In this paper we use equation solving for translating internal tests derived for a component embedded within a composite system into external tests defined over the external alphabets of the system. The composite system is represented as two communicating finite state machines (FSMs), an embedded component FSM, and a context FSM that models the remaining part of the system and which is assumed to be correctly implemented. Application example is given to demonstrate the steps of the method. The method can be adapted for test derivation for a system of two or more communicating FSMs.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Khaled El-Fakih
    • 1
  • Nina Yevtushenko
    • 2
  1. 1.American University of SharjahSharjahUAE
  2. 2.Tomsk State UniversityTomskRussia

Personalised recommendations