TITRE DU PROJET: Implémentation d’un Générateur de Cas de Test de Robustesse (RTCG) à partir d'une spécification formelle d'un protocole de communication. Responsable(s) : Fares SAAD KHORCHEF Bureau : 104 Tél : 05.40.00.35.15 E-mail : saad-kho@labri.fr Mots clés : Aléas, Systèmes de transitions étiquetées à entrées/sorties, Graphes de refus, méta graphes, graphes de suspension. Description du projet : Le test de robustesse consiste à vérifier la capacité d'un système ou d'un composant, à fonctionner de façon acceptable, en présence d'aléas (situations hostiles ou incertaines). Ceux-ci désignent tout imprévu par rapport à la spécification initiale du système. Les aléas peuvent être traduits par plusieurs contextes (entrées invalides, conditions de stress, pannes, dysfonctionnement, fautes, etc). Ce genre de test peut être d'une grande importance, en particulier pour les systèmes critiques ou embarqué. Quelques travaux de recherche ont traité différemment ce type de test, mais l'enjeu principal reste unique, ceci se résume en trois points : • Comment construire le domaine d'entrées pour tenir compte lés aléas. • Comment observer le domaine de sorties. • Comment modéliser le système • Quel type de test peut-on envisager Dans nos travaux de recherche, nous avons développé une approche dédiée au domaine de protocoles de communication pour répondre aux enjeux précédents. Cette méthode est basée sur l’augmentation de la spécification nominale afin de pouvoir tenir compte l'apparition des aléas. Le détail de cette méthode est donné ci-dessous : - Augmenter la spécification initiale (produit des graphes) - Synchroniser la spécification augmentée avec un objectif de test (recherche dans un graphe). - Extraction/décoration des chemins pour obtenir des cas de test de robustesse (recherche et traitement sur les graphes). Références et pointeurs : 1- Fares SAAD KHORCHEF, Richard castanet, Robustness testing: definition, models and teting generation. 2- Fares SAAD KHORCHEF, XAVIER DELORD, une méthode pour le test de robustesse adaptée aux protocoles. Matériels et logiciels nécessaires : à définir!