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

arima:1884 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 27 août 2008, Volume 8, numéro spécial CARI'06, 2008 - https://doi.org/10.46298/arima.1884
Interoperability test generation: formal definitions and algorithmArticle

Auteurs : Alexandra Desmoulin 1; César Viho ORCID1

  • 1 Dependability Interoperability and perfOrmance aNalYsiS Of networkS

Dans le contexte des protocoles réseaux, le test d'interopérabilité est utilisé pour vérifier si deux (ou plus) implémentations communiquent correctement tout en fournissant les services décrits dans les spécifications correspondantes. Le but de cet article est de fournir une méthode pour la génération de tests d'interopérabilité basée sur une définition formelle de la notion d'interopérabilité. Contrairement aux travaux précédents, cette étude prend en compte les blocages des implémentations qui peuvent être observés durant un test d'interopérabilité. Ceci est réalisé via la notion de critères d'interopérabilité, qui donnent des définitions formelles des notions d'interopérabilité existantes. Il est tout d'abord prouvé que la gestion des blocages améliore la détection de la non-interopérabilité. L'équivalence de deux des critères est aussi prouvée permettant l'introduction d'une nouvelle méthode de génération de tests d'interopérabilité. Cette méthode permet d'éviter le problème d'explosion combinatoire du nombre d'états que rencontrent les approches classiques.


Volume : Volume 8, numéro spécial CARI'06, 2008
Publié le : 27 août 2008
Soumis le : 27 février 2008
Mots-clés : Interoperability, test, criterion, test generation, quiescence,Interopérabilité,test,critère,génération de tests,blocage,[INFO] Computer Science [cs],[MATH] Mathematics [math]

Statistiques de consultation

Cette page a été consultée 236 fois.
Le PDF de cet article a été téléchargé 327 fois.