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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|