Abstract
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.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-30232-2_24
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
Barrett, G., Lafortune, S.: Bisimulation, the supervisory control problem, and strong model matching for finite ftate machines. Discrete Event Dynamic Systems: Theory and Application 8(4), 377–429 (1998)
von Bochmann, G., Merlin, P.M.: On the construction of communication protocols. In: ICCC, pp. 371–378 (1980); Sunshine, C. (ed.): Reprinted in Communication Protocol Modeling. Artech House Publ., Norwood (1981)
Buffalov, S., El-Fakih, K., Yevtushenko, N., von Bochmann, G.: Progressive solutions to a parallel automata equation. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 367–382. Springer, Heidelberg (2003)
Cavalli, D., Lee, D., Rinderknecht, C., Zaidi, F.: Hit-or-Jump: An algorithm for embedded testing with applications to IN services. In: Proceedings of Joint Inter. Conf. FORTE/PSTV99, pp. 41–58 (1999)
Chow, T.S.: Test design modeled by finite-state machines. IEEE Trans. SE 4(3), 178–187 (1978)
Drissi, J., von Bochmann, G.: Submodule Construction for systems of I/O Automata. Technical Report #1133, DIRO, Universite’ de Montreal, Canada (1999)
El-Fakih, K., Trenkaev, V., Spitsyna, N., Yevtushenko, N.: FSM Based Interoperability Testing Methods. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol. 2978, pp. 60–75. Springer, Heidelberg (2004)
El-Fakih, K., Prokopenko, S., Yevtushenko, N., von Bochmann, G.: Fault diagnosis in extended finite state machines. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 197–210. Springer, Heidelberg (2003)
Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley, New York (1979)
Kelekar, S.G.H.: Synthesis of protocols and protocol converters using the submodule construction approach. In: Danthine, A., et al. (eds.) Protocol Specification, Testing, and Verification-PSTV XIII (1994)
Hierons, R., Ural, H.: Concerning the ordering of adaptive test sequences. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 289–302. Springer, Heidelberg (2003)
Information technology. Open systems interaction. Conformance testing methodology and framework. International standard IS-9646 (1991)
Kumar, R., Nelvagal, S., Marcus, S.I.: A discrete event systems approach for protocol conversion. Discrete Event Dynamical Systems: Theory and Applications 7(3), 295–315 (1997)
Lima, L.P., Cavalli, A.R.: A pragmatic approach to generating test sequences for embedded systems. In: Proceedings of 10th IWTCS, pp. 125–140 (1997)
Lee, D., Sabnani, K., Kristol, D.M., Paul, S.: Conformance testing of protocols specified as communicating finite state machines - a guided random walk based approach. IEEE Transactions on Communications 44(5), 631–640 (1996)
Merlin, P., von Bochman, G.: On the construction of submodule specifications and communication protocols. ACM Trans. On Programming Languages and Systems 5(1), 1–25 (1983)
Parrow, J.: Submodule construction as equation solving in CCS. Theoretical Computer Science 68 (1989)
Petrenko, Yevtushenko, N., von Bochmann, G.: Fault models for testing in context. In: FORTE 1996 (1996)
Petrenko, Yevtushenko, N., von Bochmann, G.: Testing deterministic implementations from their nondeterministic specifications. In: Proceedings of the IFIP 9th International Workshop on Testing of Communicating Systems, Germany, pp. 125–140 (1996)
Petrenko, Yevtushenko, N., von Bochmann, G., Dssouli, R.: Testing in context: framework and test derivation. Computer communications 19, 1236–1249 (1996)
Petrenko, Yevtushenko, N.: Solving asynchronous equations. In: Bukowski, S., Cavalli, A., Najm, E. (eds.) Formal Description Techniques and Protocol Specification, Testing, and Verification-FORTE XI/PSTVXVIII 1998, pp. 231–247. Chapman-Hall, Boca Raton (1998)
Petrenko, Yevtushenko, N., Lebedev, A., Das, A.: Nondeterministic State Machines in Protocol Conformance Testing. In: Proc. of the IFIP 6th IWPTS, France, pp. 363–378 (1993)
Qin, H., Lewis, P.: Factorisation of finite state machines under strong and observational equivalences. Journal of Formal Aspects of Computing 3, 284–307 (1991)
Tao, Z., von Bochmann, G., Dssouli, R.: A formal method for synthesizing optimized protocol converters and its application to mobile data networks. Mobile Networks & Applications 2(3), 259–269 (1997)
Yevtushenko, N., Cavalli, A.R., Lima, L.P.: Test minimization for testing in context. In: Proceedings of the 11th IWTCS, pp. 127–145 (1998)
Yevtushenko, N., Villa, T., Brayton, R.K., Petrenko, A., Sangiovanni-Vincentelli, A.: Solution of parallel language equations for logic synthesis. In: Proc. of the International Conference on Computer-Aided Design, pp. 103–110 (2001)
Wonham, W.M., Ramadge, P.J.: On the supremal controllable sublanguage of a given language. SIAM J. Control. Optimization 25(3), 637–659 (1987)
El-Fakih, K., Yevtushenko, N., von Bochmann, G.: Diagnosing multiple faults in communicating finite state machines. In: Proc. of the IFIP 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), Cheju Island, Korea, pp. 85–100 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 IFIP International Federation for Information Processing
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-540-30232-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-30232-2_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23252-0
Online ISBN: 978-3-540-30232-2
eBook Packages: Springer Book Archive