Formal Techniques for Networked and Distributed Systems – FORTE 2004

Volume 3235 of the series Lecture Notes in Computer Science pp 185-198

Fault Propagation by Equation Solving

  • Khaled El-FakihAffiliated withAmerican University of Sharjah
  • , Nina YevtushenkoAffiliated withTomsk State University


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.