Une approche de test de robustesse basée sur l'injection de fautes et le monitorage - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Une approche de test de robustesse basée sur l'injection de fautes et le monitorage

Résumé

Le test de robustesse d'un système a pour objectif de déterminer si ce dernier se comporte comme attendu en présence de conditions d'exécution erronées ou non prévues. Cet article présente une méthode pour le test de robustesse des protocoles, qui combine l'utilisation de techniques de monitorage et l'injection de fautes. Le monitorage est basé sur le test passif : les entrées et les sorties sont collectées pendant l'exécution du système étudié, puis analysées vis-à-vis de la spécification représentée par un modèle formel ou par un ensemble de propriétés. Dans cet article, l'injection de fautes, qui permet d'émuler les défaillances du réseau, est utilisée conjointement avec le monitorage pour tester la robustesse d'un protocole donné. Nous illustrons l'application de cette méthode sur un cas d'étude réel, le protocole WAP (Wireless Application Protocol) et, en particulier, sur le protocole WTP (Wireless Transaction Protocol). Afin de montrer la pertinence de la méthode proposée, les résultats obtenus de nos expérimentations sur l'injection de différents types de fautes sont présentés.
Fichier principal
Vignette du fichier
submission_55.pdf (531.25 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00250162 , version 1 (11-02-2008)

Identifiants

  • HAL Id : hal-00250162 , version 1

Citer

Ana Cavalli, Eliane Martins, Anderson Morais, Bruno Moreira. Une approche de test de robustesse basée sur l'injection de fautes et le monitorage. Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France. ⟨hal-00250162⟩
139 Consultations
1557 Téléchargements

Partager

More