FSM Test Translation Through Context

  • Khaled El-Fakih
  • Alexandre Petrenko
  • Nina Yevtushenko
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3964)


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.


Test Suite Finite State Machine Parallel Composition External Test Internal Test 


  1. 1.
    Chow, T.S.: Test design modeled by finite-state machines. IEEE Trans. SE 4(3), 178–187 (1978)CrossRefMATHGoogle Scholar
  2. 2.
    El-Fakih, K., Yevtushenko, N.: Fault propagation by equation solving. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 185–198. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley, N.Y (1979)MATHGoogle Scholar
  4. 4.
    Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Proc. of the IFIP Joint Intl. Conf. Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE XII / PSTV XIX) IFIP Conference Proceedings, Beijing, China, October 5-8, vol. 156, pp. 25–40. Kluwer, Dordrecht (1999)Google Scholar
  5. 5.
    Lima, L.P.: A pragmatic method to generate test sequences for embedded systems, Ph.D. Thesis, Institute National des Telecommunications, Evry, France (1998)Google Scholar
  6. 6.
    Lima, L.P., Cavalli, A.R.: A pragmatic approach to generating test sequences for embedded systems. In: Proc. of the 10th International Workshop on Testing of Communicating Systems, pp. 125–140 (1997)Google Scholar
  7. 7.
    Petrenko, A., Yevtushenko, N.: Testing faults in embedded components. In: Proc. of the 10th International Workshop on Testing of Communicating Systems, pp. 272–287 (1997)Google Scholar
  8. 8.
    Petrenko, A., Yevtushenko, N.: Testing from partial deterministic FSM specifications. IEEE Transactions on Computers 54(9), 1154–1165 (2005)CrossRefGoogle Scholar
  9. 9.
    Petrenko, A., Yevtushenko, N., Bochmann, G.v.: Fault models for testing in context. In: Proc. International Conference on Formal Techniques for Networked and Distributed Systems, pp. 125–140 (1996)Google Scholar
  10. 10.
    Petrenko, A., Yevtushenko, N., Bochmann, G.v., Dssouli, R.: Testing in context: framework and test derivation. Computer communications 19, 1236–1249 (1996)CrossRefGoogle Scholar
  11. 11.
    Tretmans, J., Verhaard, L.: A queue model relating synchronous and asynchronous communication. In: Linn Jr., R.J., Uyar, M.Ü. (eds.) Proc. of the IFIP TC6/WG6.1 12th Intl. Symp. Protocol Specification, Testing and Verification, IFIP Transactions, Lake Buena Vista, Florida, USA, vol. C-8, pp. 131–145 (1992)Google Scholar
  12. 12.
    Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika 4, 98–108 (1973) (translated)Google Scholar
  13. 13.
    Yannakakis, M., Lee, D.: Testing finite state machines. In: Proc. of the 23rd Annual ACM Symposium on Theory of Computing, New Orleans, Louisiana, pp. 476–485 (1995)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • Khaled El-Fakih
    • 1
  • Alexandre Petrenko
    • 2
  • Nina Yevtushenko
    • 3
  1. 1.American University of SharjahUAE
  2. 2.Centre de recherche informatique de Montreal (CRIM)MontrealCanada
  3. 3.Tomsk State UniversityRussia

Personalised recommendations