accueil

carte
anim les activités scientifiques  
-
recherche

aide
 

formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

-

Sujet de thèse proposé à l'Irisa pour la rentrée 2001-2002

-image
 

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

 

 

up

dernière mise à jour : 05.03.2001

-- english version --- webmaster@irisa.fr --- ©copyright --


accueil
 

w3c-html4