Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Chow, T.S.: Test design modeled by finite-state machines. IEEE Trans. SE 4(3), 178–187 (1978)
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)
Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley, N.Y (1979)
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)
Lima, L.P.: A pragmatic method to generate test sequences for embedded systems, Ph.D. Thesis, Institute National des Telecommunications, Evry, France (1998)
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)
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)
Petrenko, A., Yevtushenko, N.: Testing from partial deterministic FSM specifications. IEEE Transactions on Computers 54(9), 1154–1165 (2005)
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)
Petrenko, A., Yevtushenko, N., Bochmann, G.v., Dssouli, R.: Testing in context: framework and test derivation. Computer communications 19, 1236–1249 (1996)
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)
Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika 4, 98–108 (1973) (translated)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
El-Fakih, K., Petrenko, A., Yevtushenko, N. (2006). FSM Test Translation Through Context. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds) Testing of Communicating Systems. TestCom 2006. Lecture Notes in Computer Science, vol 3964. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11754008_16
Download citation
DOI: https://doi.org/10.1007/11754008_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34184-0
Online ISBN: 978-3-540-34185-7
eBook Packages: Computer ScienceComputer Science (R0)