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

Assemblage testable et validation de composants

Localisation :Irisa, Rennes

Equipe Pampa

Responsable : Yves Le Traon (tél. direct : 02 99 84 25 68, email : yletraon@irisa.fr)

Mot-clés : conception-testable, composant, test, UML, qualité.

Sujet :

Cette thèse a pour objectif général la construction fiable et économiquement efficace d'applications par assemblage de composants logiciels.

Un premier angle d'attaque concerne l'amélioration des techniques de validation du logiciel à tous les niveaux (composant, intégration, système, maintenance). Mais dans le cas d'un assemblage de composants, il semble impératif d'intervenir dès en amont, au niveau du processus de développement, en cherchant à améliorer la démarche de spécification et de conception pour élaborer par construction un produit logiciel plus testable, plus << facile >> à tester. On parle alors de conception testable. Cet axe de recherche vise ainsi à établir les règles et modèles applicables au plus tôt permettant:

• d'estimer l'effort et la qualité du test,
• de déterminer les faiblesses d'une architecture logicielle,
• de planifier les étapes de test et le contrôle qualité.

Les travaux déjà engagés dans le projet Pampa font apparaitre des résultats quant à la validation de composants individuels vis-à-vis de leurs propriétés fonctionnelles dans un cadre séquentiel (auto-test et évaluation de sa qualité par analyse de mutations). Si ils ont conduit à l'élaboration de modèles formels dérivables depuis UML, il reste à les adapter pour prendre encore en compte les problèmes liés à la qualité de service et aux relations inter-composants (intégration). A terme, l'élaboration de contrats pour la testabilité pourra guider la reconfiguration d'un modèle de conception UML initial en une nouvelle conception testable.