A model-based approach for interoperability test generation

Nanxing Chen 1
1 DIONYSOS - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
Inria Rennes – Bretagne Atlantique , IRISA-D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
Abstract : The purpose of interoperability testing is to ensure that interconnected protocol implementations communicate correctly while providing the expected services. However, interoperability test generation is known to be complex. On one hand, most current interoperability test cases are still generated in a manual way, which is time-consuming and error-prone. On the other hand, existing automatic test case generation methods often encounter the state explosion problem due to the multi-component nature of interoperability testing. In this report, we propose an approach for automatic interoperability test case generation. This method, based on formal interoperability de nitions, intends to obtain a composite product of the speci cations of each protocol implementation with respect to a preselected property to be veri ed. To relieve the state explosion problem, only the necessary global behavior of speci cations are calculated. The obtained composite product intends to keep only the events relevant to the property to be veri ed. We show that an interoperability test case derived by using this approach is unbiased and nonpermissive.
Type de document :
Rapport
[Research Report] PI-1982, 2011, pp.14
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00616449
Contributeur : Ist Rennes <>
Soumis le : lundi 22 août 2011 - 15:47:14
Dernière modification le : mercredi 16 mai 2018 - 11:23:18
Document(s) archivé(s) le : lundi 12 novembre 2012 - 15:42:31

Fichier

PI-1982.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00616449, version 1

Citation

Nanxing Chen. A model-based approach for interoperability test generation. [Research Report] PI-1982, 2011, pp.14. 〈inria-00616449〉

Partager

Métriques

Consultations de la notice

439

Téléchargements de fichiers

137