Abstract
This paper gives formal definitions of the different existing interoperability notions called interoperability criteria. The equivalence between two of them leads to a method for interoperability test generation that avoids the state explosion problem of classical approaches.
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
Rafiq, O., Castanet, R.: From conformance testing to interoperability testing. In: Protocol Test Systems, North-Holland, vol. III, pp. 371–385. Elsevier sciences publishers B. V., Amsterdam (1991)
Seol, S., Kim, M., Kang, S., Ryu, J.: Fully automated interoperability test suite derivation for communication protocols. Comp. Networks 43(6), 735–759 (2003)
Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46–65. Springer, Heidelberg (1999)
Barbin, S., Tanguy, L., Viho, C.: Towards a formal framework for interoperability testing. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) FORTE 2001, Cheju Island, Korea, pp. 53–68 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Desmoulin, A., Viho, C. (2005). Formalizing Interoperability Testing: Quiescence Management and Test Generation. In: Wang, F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562436_40
Download citation
DOI: https://doi.org/10.1007/11562436_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29189-3
Online ISBN: 978-3-540-32084-5
eBook Packages: Computer ScienceComputer Science (R0)