Alexandra Desmoulin ; César Viho - Interoperability test generation: formal definitions and algorithm

arima:1884 - Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, August 27, 2008, Volume 8, Special Issue CARI'06, 2008 - https://doi.org/10.46298/arima.1884
Interoperability test generation: formal definitions and algorithm

Authors: Alexandra Desmoulin ; César Viho

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.


Volume: Volume 8, Special Issue CARI'06, 2008
Published on: August 27, 2008
Submitted on: February 27, 2008
Keywords: Interoperability, test, criterion, test generation, quiescence,Interopérabilité,test,critère,génération de tests,blocage,[INFO] Computer Science [cs],[MATH] Mathematics [math]


Share

Consultation statistics

This page has been seen 59 times.
This article's PDF has been downloaded 117 times.