Objectif du travail :
L'équipe Pampa a développé depuis plusieurs années une méthode de génération de
tests pour les systèmes réactifs. La théorie et l'algorithmique sont fondées
sur une représentation des spécifications (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. Il a pourtant un défaut majeur, c'est qu'il ne contient
aucune information sur le parallélisme possible 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, 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 de type automates communicants. L'objectif du stage de DEA est
d'étudier cette génération, de la mettre éventuellement en oeuvre dans un
petit prototype, et de réfléchir à son utilisation pour étendre la méthode TGV
de l'équipe Pampa.
Bibliographie :
[1] O. Henniger, On test case generation from asynchronously communicating
state machines, 10th Int. Workshop on Testing Comunicating Systems, 1997.
[2] JC. Fernandez, C. Jard, T. Jéron and C. Viho. Using on-the-fly verification
techniques for the generation of tests suites. Conference on Computer-Aided
Verification, 1996.
Commentaires divers :
Ce sujet de DEA est clairement une ouverture vers un sujet de thèse qui sera
l'étude complète de l'impact des modèles de vrai parallélisme sur la génération
automatique de tests répartis. Une telle étude n'a jamais encore été conduite
jusqu'à la réalisation d'outils. Elle pourra s'insérer dans une collaboration
internationale. Le candidat devra posséder un goût pour les modèles sémantiques
et le parallélisme, tout en étant motivé par la définition pratique d'outils
logiciels.