Skip to Main content Skip to Navigation
Journal articles

Interoperability test generation: formal definitions and algorithm

Alexandra Desmoulin 1 César Viho 1
1 DIONYSOS - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
Inria Rennes – Bretagne Atlantique , IRISA-D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
Abstract : 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 respective 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01272681
Contributor : Coordination Episciences Iam Connect in order to contact the contributor
Submitted on : Thursday, February 11, 2016 - 11:39:31 AM
Last modification on : Friday, October 8, 2021 - 6:50:12 PM
Long-term archiving on: : Thursday, May 12, 2016 - 5:31:46 PM

File

arima00803.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01272681, version 1

Citation

Alexandra Desmoulin, César Viho. Interoperability test generation: formal definitions and algorithm. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 8, pp.49-63. ⟨hal-01272681⟩

Share

Metrics

Record views

561

Files downloads

852