Abstract
At any level of computer networks, interoperability testing generally deals with several components that communicate while trying to provide a designated service. When a component remains silent, the assigned testing verdict is generally Fail, assuming that its behavior is non-conformant. Sometimes, this silence may be anticipated given the component’s specifications. In these cases, the fail verdict is not unsatisfactory. In this paper, we show that “quiescence management” improves interoperability testing. Based on formal definitions of interoperability testing, we introduce new definitions that take into account the possible quiescence of components under test. Through several examples and scenarios, we show that these new definitions detect non-interoperability cases with higher precision. Moreover, these new definitions more clearly distinguish specification-driven quiescences from others, leading to unbiased interoperability tests with accurate verdicts.
Chapter PDF
Similar content being viewed by others
References
ISO. Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework - Parts 1-7. In: International Standard ISO/IEC 9646/1-7 (1992)
Jéron, T.: Le test de conformité: état de l’art. Rapport pour l’AEE (Architecture Electronique Embarquée) (2001)
Brinksma, E., Alderden, R., Langerak, J., Van de Lagemaat, R., Tretmans, J.: A Formal Approach to Conformance Testing. In: De Meer, J., Mackert, L., Effelsberg, W. (eds.) Second International Workshop on Protocol Test Systems, pp. 349–363. North Holland, Amsterdam (1990)
Verhaard, L., Tretmans, J., Kars, P., Brinksma, E.: On asynchronous testing. In: van Bochman, G., Dssouli, R., Das, A. (eds.) Fifth inteernational workshop on protocol test systems. IFIP Transactions, pp. 55–66. North-Holland, Amsterdam (1993)
Barbin, S., Tanguy, L., Viho, C.: Towards a formal framework for interoperability testing. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Cheju Island, Korea, Août 2001, pp. 53–68 (2001)
Castanet, R., Kone, O.: Test generation for interworking systems. Computer Communications 23, 642–652 (2000)
Baconnet, J.P., Betteridge, C., Bonnes, G., Van den Berghe, F., Hopkinson, T.: Scoping further EWOS activity for interoperability testing. Technical Report EGCT/96/130 R1, EWOS (September 1996)
Castanet, R., Koné, O.: Deriving coordinated testers for interoperability. In: Rafiq, O. (ed.) Protocol Test Systems, Pau-France. IFIP, vol. VI C-19, pp. 331–345. Elsevier Science B.V, Amsterdam (1994)
Walter, T., Plattner, B.: Conformance and interoperability a critical assessment. Technical Report 9, Computer engineering and networks laboratory (TIK), Swiss federal institute of technology Zurich (1994)
van der Bijl, M., Rensink, A., Tretmans, J.: Component based testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86–100. Springer, Heidelberg (2004)
Rafiq, O., Castanet, R.: From conformance testing to interoperability testing. In: Protocol Test Systems, vol. III, pp. 371–385. North-Holland, Amsterdam (1991), IFIP, Elsevier sciences publishers B. V.
Walter, T., Schieferdecker, I., Grabowski, J.: Test architectures for distributed systems: state of the art and beyond. In: Petrenko, Yevtushenko (eds.) Testing of Communicating Systems, IFIP, Kap, September 1998, vol. 11, pp. 149–174 (1998)
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)
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). Quiescence Management Improves Interoperability Testing. In: Khendek, F., Dssouli, R. (eds) Testing of Communicating Systems. TestCom 2005. Lecture Notes in Computer Science, vol 3502. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11430230_25
Download citation
DOI: https://doi.org/10.1007/11430230_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26054-7
Online ISBN: 978-3-540-32076-0
eBook Packages: Computer ScienceComputer Science (R0)