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
Résumé : 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.
Type de document :
Article dans une revue
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 8, pp.49-63
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01272681
Contributeur : Coordination Episciences Iam <>
Soumis le : jeudi 11 février 2016 - 11:39:31
Dernière modification le : mercredi 16 mai 2018 - 11:23:18
Document(s) archivé(s) le : jeudi 12 mai 2016 - 17:31:46

Fichier

arima00803.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01272681, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

446

Téléchargements de fichiers

241