| |
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.
|
