| |
Génération de tests
avec des modèles de vrai parallélisme de UML
Localisation : Irisa, Rennes
Equipe(s) : Triskell
Responsable(s) : Claude Jard (tél. direct : 02 99
84 71 93, email : Claude.Jard@irisa.fr)
Mots-clés : Génie logiciel, Test, Méthodes
formelles, Parallélisme, Distribution, Telecom
L’équipe Pampa/Triskell a développé depuis
plusieurs années une méthode de génération
de tests pour les systèmes réactifs (TGV). La théorie
et l’algorithmique sont fondées sur une représentation
des spécifica-tions (objet à tester, objectif de test,
test lui-même) sous forme de graphes états-transitions
(automates). Ce modèle est simple et est largement utilisé
pour tout ce qui ressemble à de l’analyse formelle de
programmes répartis. Il a pourtant un défaut majeur,
c’est qu’il ne contient aucune information sur le parallélisme
pos-sible entre les actions des programmes. En pratique, on fait
comme si l’objet à tester pouvait être abstrait
en une machine séquentielle. Cette vision trouve ses limites
lorsque l’on veut s’intéresser à de nouvelles
formes de test dans les systèmes répartis. Dans le
contexte réparti, non seulement le système à
tester est parallèle, mais on souhaite aussi que le test
soit aussi parallèle : le testeur est lui-même un réseau
parallèle de testeurs. Par ailleurs, il existe des modèles
d’automates incluant du parallélisme comme celui des
structures d’évé-nements (ou des dépliages
de réseaux de Petri), décrivant non plus des séquences
mais des ordres partiels. La tentation est donc grande d’essayer
de reprendre notre démarche de test en utilisant ce nouveau
type de modèle et utiliser l’information de parallélisme
pour générer du parallélisme dans les tests.
Des travaux récents montrent la possibilité pratique
de générer des structures d’événements
à partir de spécifications décrites en UML.
L’objectif de la thèse est de revoir complètement
la chaîne de génération TGV (depuis des spécifications
dans le langage SDL vers des cas de test dans le langage TTCN) en
utilisant le modèle inter-médiaire des structures
d’événements et dans un environnement de modélisation
UML. Il s’agit d’un sujet comportant à la fois
des aspects fondamentaux (utilisation d’un nouveau modèle
resté confiné jusqu’alors dans le milieu de l’informatique
théorique) et des aspects appliqués (méthodologie
pour la génération de$ tests, validation expérimentale
souhaitée). Il bénéficie aussi d’un intérêt
réel de la part du monde industriel.
|
