Assemblage testable et validation de composants

Lieu : Irisa, Rennes

Équipe : 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.