sALLUSTe - Test Statistique de programmes Lustre
Date de dernière version : 01 janvier 2007
Responsable :
GAUDEL Marie-Claude
Outil de génération automatique de tests statistiques pour
descriptions Lustre. Lustre est un langage formel de modélisation adapté aux flots de données pour décrire des
systèmes réactifs synchrones. Génération de tests
(séquences de vecteurs d'entrées) assurant une couverture
statistique des chemins de contrôle d'un programme Lustre.
Relie un budget en nombre de test à une probabilité
d'activation des chemins de contrôle et de donnée.
- Le générateur de tests calcule un sur ensemble de tous les chemins de calcul possibles dans un programme
Lustre donné;
- Il en tire aléatoirement un certain nombre garantissant une probabilité minimale de passage par des points de contrôle choisis par l'utilisateur;
- Il utilise GATeL pour vérifier la faisabilité des chemins
tirés.
Logiciel
Activités de recherche
Vérification Test de Logiciels
Membres
GOURAUD Sandrine FAYOLLE Julien
Equipe
