Interoperability Test Generation: Formal Definitions and Algorithm

In the context of network protocols, interoperability testing is used to verify that two (or more) implementations communicate correctly while providing the services described in their re- spective specifications. This study is aimed at providing a method for interoperability test generation based on formal definitions. Contrary to previous works, this study takes into account quiescence of implementations that may occur during interoperability testing. This is done through the notion of interoperability criteria that give formal definitions of the different existing pragmatic interoperability notions. It is first proved that quiescence management improves non-interoperability detection. Two of these interoperability criteria are proved equivalent leading to a new method for interoperability test generation. This method avoids the well-known state explosion problem that may occur when using existing classical approaches.

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

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

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

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

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

[6]  Ruibing Hao,et al.  Integrated system interoperability testing with applications to VoIP , 2004, IEEE/ACM Transactions on Networking.

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

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

[9]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

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

[11]  César Viho,et al.  Towards a Formal Framework for Interoperability Testing , 2001, FORTE.

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

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

[14]  César Viho,et al.  Quiescence Management Improves Interoperability Testing , 2005, TestCom.

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

[16]  Khaled El-Fakih,et al.  FSM Based Interoperability Testing Methods for Multi Stimuli Model , 2004, TestCom.