Dealing with asynchronous observation issues in passive interoperability testing

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
Résumé : L'objectif du test d'interopérabilité est de s'assurer à la fois que les implémentations interagissent correctement et qu'elles rendent les services prévus dans leur spécifi cation pendant leur interaction. Pour effectuer le test d'interopérabilité, les approches classiques s'appuient sur la méthode active, dont l'objectif est de tester les implémentations d'un système en pratiquant une suite de contrôles et d'observations sur celui-ci. Pourtant, les stimuli injectés en utilisant la méthode active perturbent inévitablement les opérations normales du système à tester. Au contraire, le test passif a pour objectif de détecter des erreurs dans un système en observant uniquement ses comportements. Cependant, la méthode passive rencontre souvent des diffi cultés d'observation en raison de la nature asynchrone des systèmes distribués. En effet, les délais d'acquisition des donnés dans l'environnement du test peuvent perturber l'ordre réel des messages envoyés par les implémentations. En conséquence, les verdicts émis par le système de test peuvent être biaisés. Pour résoudre les problèmes d'observation, ce rapport propose une méthode basée sur l'estampillage logique: chaque sortie produite par les implémentations est associée à une horloge logique. En analysant l'étiquette temporelle associée à chaque sortie, le testeur est capable de recréer la séquence réelle des événements observés a n de donner un verdict correct.
Type de document :
Rapport
[Research Report] PI-1983, 2011, pp.11
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00612658
Contributeur : Ist Rennes <>
Soumis le : vendredi 29 juillet 2011 - 16:06:56
Dernière modification le : mercredi 16 mai 2018 - 11:23:18
Document(s) archivé(s) le : dimanche 30 octobre 2011 - 02:22:56

Fichier

PI1983.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00612658, version 1

Citation

Nanxing Chen. Dealing with asynchronous observation issues in passive interoperability testing. [Research Report] PI-1983, 2011, pp.11. 〈inria-00612658〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

122