Towards a Formal Framework for Interoperability Testing

This paper shows how the existing concepts of conformance testing can be used to define a formal framework for interoperability testing. First, the different possible interoperability testing architectures are discussed. Then, we define several interoperability relations based on the existing relations defined for conformance testing. A comparison of these relations is given, in terms of their power to detect non-interoperability. Some guidelines are given to help in generating interoperability tests.

[1]  Ousmane Koné,et al.  Test generation for interworking systems , 2000, Comput. Commun..

[2]  Myungchul Kim,et al.  Test sequence generation for adaptive interoperability testing , 1996 .

[3]  Denyse Baillargeon,et al.  Bibliographie , 1929 .

[4]  Ousmane Koné,et al.  Deriving Coordinated Testers for Interoperability , 1993, Protocol Test Systems.

[5]  Myungchul Kim,et al.  Fully automated interoperability test suite derivation for communication protocols , 2003, Comput. Networks.

[6]  O. Rafiq.  From Conformance Testing to Interoperability Testing , 1990 .

[7]  Jan Tretmans,et al.  Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.

[8]  Jan Tretmans,et al.  TorX: Automated Model-Based Testing , 2003 .

[9]  Gregor von Bochmann,et al.  Trace Analysis for Conformance and Arbitration Testing , 1989, IEEE Trans. Software Eng..

[10]  Jan Tretmans,et al.  On Asynchronous Testing , 1992, Protocol Test Systems.

[11]  Terunao Soneoka,et al.  Combination of conformance and interoperability testing , 1992, FORTE.

[12]  Susan Symington,et al.  A COS study of OSI interoperability , 1990 .

[13]  Ina Schieferdecker,et al.  Test Architectures for Distributed Systems: State of the Art and Beyond , 1998, IWTCS.

[14]  Jan Tretmans,et al.  A Formal Approach to Conformance Testing , 1993, Protocol Test Systems.

[15]  Thierry Jéron,et al.  An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology , 1997, Sci. Comput. Program..