A model-based approach for interoperability test generation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2011

A model-based approach for interoperability test generation

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
PI-1982.pdf (2.57 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00616449 , version 1 (22-08-2011)

Identifiants

  • HAL Id : inria-00616449 , version 1

Citer

Nanxing Chen. A model-based approach for interoperability test generation. [Research Report] PI-1982, 2011, pp.14. ⟨inria-00616449⟩
287 Consultations
80 Téléchargements

Partager

Gmail Facebook X LinkedIn More