Abstract
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic communicating finite state machines. A test suite returned by the first method enables us to determine if the implementation is free of livelocks. If the implementation is free of livelocks, the second method returns a test suite that checks if the implementation conforms to the specification. Application examples are used to illustrate the methods.
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
Brand, D., Zafiropulo, P.: On communicating finite state machines. J. ACM 30(2), 323–342 (1983)
van Bochmann, G., Sunshine, C.A.: Formal methods in communication protocol design. IEEE Trans. on Comm. 28, 624–631 (1980)
Chow, T.S.: Test Design Modeled by Finite-State Machines. IEEE Trans. SE 4(3), 178–187 (1978)
El-Fakih, K.: Protocol retesting and diagnostic testing methods, Ph.D. Thesis, University of Ottawa (2002)
El-Fakih, K., Yevtushenko, N., Bochmann, G.: Protocol re-testing methods. In: Proc. of the IFIP 14th International Conference on Testing of Communicating Systems, Berlin, Germany, pp. 19–22 (2002)
El-Fakih, K., Prokopenko, S., Yevtushenko, N., 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)
Fujiwara, S., van Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test Selection Based on Finite State Models. IEEE Trans. SE 17(6), 591–603 (1991)
Kang, S., Shin, J., Kim, M.: Interoperability Test Suite Derivation for Communication Protocols. Computer Networks 32, 347–364 (2000)
Koufareva, I., Petrenko, A., Yevtushenko, N.: Test generation driven by user-defined fault models. In: Proceedings of IFIP TC6 12th International Workkshop on Testing of Communicating Systems, Hungary, pp. 215–233 (1999)
Petrenko, A., Yevtushenko, N., van Bochmann, G.: Fault models for testing in context. In: FORTE 1996 (1996)
Petrenko, A., Yevtushenko, N., van Bochmann, G., Dssouli, R.: Testing in context: framework and test derivation. Computer communications 19, 1236–1249 (1996)
Petrenko, A., 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)
Seol, S., Kim, M., Chanson, S.T.: Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle. In: Proceedings of the IFIP 14th Inter. Conf. TestCom 2002, Berlin, pp. 151–169 (2002)
Spitsyna, N., Trenkaev, V., El-Fakih, K., Yevtushenko, N.: FSM based interoperability testing-work in progress. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, Springer, Heidelberg (2003)
Trenkaev, V., Kim, M., Seol, S.: Interoperability Testing Based on a Fault Model for a System of Communicating FSMs. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 226–241. Springer, Heidelberg (2003)
Viho, C., Barbin, S., Tanguy, L.: Towards a formal framework for interoperability testing. In: Proceedings of the 21st Inter. Conf. FORTE 2001, Korea, pp. 51–68 (2001)
West, C.H.: An automated technique of communication protocols validation. IEEE Trans. Comm. 26, 1271–1275 (1978)
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., Trenkaev, V., Spitsyna, N., Yevtushenko, N. (2004). FSM Based Interoperability Testing Methods for Multi Stimuli Model. In: Groz, R., Hierons, R.M. (eds) Testing of Communicating Systems. TestCom 2004. Lecture Notes in Computer Science, vol 2978. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24704-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-24704-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21219-5
Online ISBN: 978-3-540-24704-3
eBook Packages: Springer Book Archive