Dealing with asynchronous observation issues in passive interoperability testing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2011

Dealing with asynchronous observation issues in passive interoperability testing

Résumé

The purpose of interoperability testing is to ensure that interconnected protocol implementations communicate correctly while providing the expected services. To perform interoperability testing, conventional approaches rely on the active testing method, which stimulates the system under test to accomplish a diagnose. However, the arbitrary stimuli injected by using active testing method disturb inevitably the normal operation of the system under test. On the contrary, passive testing is a technique for the veri cation of behavioral properties of systems by only observing their external behavior. However, passive testing method often encounters observation problems due to the asynchronous test environment. In fact, the delay in such environment may in uence the observation of the real order of the outputs produced by the implementations under test. Consequently, the verdict emitted by the test system maybe permissive or bias. As passive testing depends only on observation, issues here are then to keep a high level of observation in the testing activity, ensuring that no biased or permissive verdict is introduced. To solve the observation problems in passive interoperability testing, this report proposes a method based on logical clocks. Each output produced by the implementations under test is associated with a time stamp, which is carried on the y during its transmission. By analyzing the time stamps, the tester is able to recreate the true sequence of the observed events so as to give a correct verdict.
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.

Domaines

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

Dates et versions

inria-00612658 , version 1 (29-07-2011)

Identifiants

  • HAL Id : inria-00612658 , version 1

Citer

Nanxing Chen. Dealing with asynchronous observation issues in passive interoperability testing. [Research Report] PI-1983, 2011, pp.11. ⟨inria-00612658⟩
94 Consultations
79 Téléchargements

Partager

Gmail Facebook X LinkedIn More