Yves LE TRAON Maître de conférences IRISA/IFSIC

Résumé des activités de recherche

Mon activité de recherche se découpe en trois périodes, l’une correspondant à mon travail au LSR-IMAG et à l’ESISAR-INPG avant mon recrutement à l’Université de Rennes I, l’autre correspondant aux activités initiées à l’IRISA depuis ce recrutement, et enfin les travaux engagés comme ingénieur de recherche pour France Télécom R&D.

J’ai intégré l’IRISA en Septembre 1999 en choisissant comme projet d’accueil le projet PAMPA dirigé par Claude JARD. Je fais partie de l’action Triskell dirigée par Jean-Marc Jézéquel à la création de laquelle j’ai collaboré et continue de collaborer tout en étant ingénieur de France Télécom R&D.

a)                 Activités de recherche à France Télécom

J’ai été recruté le 1^er nov. 2004 comme ingénieur de recherche à France Télécom dans l’équipe EXA (Requirements Engineering and Applications) du laboratoire MAPS avec pour mission première de développer des techniques et outils pour la validation des transformations de modèles. Ma mission implique aussi d’augmenter les échanges entre l’équipe Triskell de l’IRISA et le laboratoire MAPS, afin d’aider au transfert des technologies développées au sein de Triskell (Kerméta pour l’ingénierie des modèles, UCTSystem pour l’ingénierie des exigences).

Cette première mission a conduit au développement d’un outil open source en Java qui permet de générer automatiquement un jeu de données de test en entrée d’une transformation de modèles. Cet outil est utilisé pour la validation de la migration de systèmes d’information en interne à France Télécom. Il fait partie des livrables du projet Modelware.

Par la suite, mes missions ont évolué vers des préoccupations proches de l’opérationnel, à savoir :

-          l’ingénierie des exigences pour le prototypage, la simulation et la génération de test pour les nouveaux services de la Livebox 2. Je dirige une thèse sur ce sujet, qui utilise la technologie Kermeta de l’INRIA pour traiter les exigences textuelles.

-          La migration de services télécoms et la modernisation des systèmes d’information.

b)                 Activités de recherche à l’IRISA

L’objectif de mon activité de recherche actuelle est de déterminer des critères de test pertinents permettant de modéliser les tests, de les planifier et synthétiser dès la conception avec une qualité si possible mesurable.

J’étudie les transformations automatiques à effectuer sur une modélisation UML (Unified Modeling Language) d’un projet logiciel pour dériver et les plans de test et des lanceurs exécutables de ce plan de test (en tenant compte de l’utilisation de “ Design Patterns ” ou patrons de conception). En particulier, les aspects de stratégies d’intégration des composants et de tests de non-régression en cas d’évolution sont explicitement formalisés.

Les critères de qualification des composants sont étudiés : nous nous concentrons actuellement sur des techniques d’analyse de mutation adaptées aux langages orientés-objet. Un effort important de développement a déjà été fait pour la création d’un outil d’analyse de mutation (en partenariat avec l’UBS Vannes).

Un dernier aspect concerne la mesure de la qualité d’une architecture (critères de testabilité), et les moyens de l'améliorer (refactorings, contraintes au niveau du métamodèle UML, expression de contrats efficaces).

Jai encadré un doctorant (Vu le Hanh) sur les premiers aspects jusque septembre 2002 (contrat région ITR en partenariat avec la société SOFTEAM). Un deuxième doctorant, Benoît Baudry a soutenu sa thèse en 2003 sur les aspects “ conception testable et assemblage fiable de composants ”, c’est-à-dire sur les deux derniers points. Enfin Clémentine Nebut a soutenu sa thèse sur la validation de lignes de produits, dans le cadre du projet européen Itea-Café et en collaboration avec THALES (TAS et TRT) sur le projet CAROLL-MUTATION qui vise à générer des tests fonctionnels dans une approche basée sur les modèles. Franck Fleurey termine sa thèse sur  le test des transformations de modèles dans un contexte d’ingénierie des modèles (MDE). De manière moins immédiatement connectée à mon activité de recherche principale, j’encadre la thèse de Christophe Métayer sur la sémantique du B évènementiel en relation avec les statecharts UML, thèse CIFRE qui se déroule chez Clearsy à Aix-en-Provence (fin de premièer année). De même, a débuté cette année 2004 un doctorat CIFRE avec la toute jeune entreprise Rennaise KEREVAL sur le diagnostic par injection de sondes dans une architecture à base de composant. Le doctorant s’appelle Marouane Himdi.

La principale originalité de mon activité actuelle de recherche réside dans la convergence de la conception objet et de la maîtrise du test pour une intégration des exigences de test dans la conception elle-même. Dans cette optique, le concepteur développera conjointement son système et la stratégie de test permettant de le tester au mieux selon un critère de satisfaction déterminé. L’approche doit permettre au concepteur les faiblesses de son architecture d’un point de vue testabilité et lui indiquer comment l’améliorer.

Les voies principales que j’explore sont donc bien identifiées :

-          génération de test dans un cadre d’ingénierie des modèles (MDE),

-          identification des faiblesses d’une architecture logicielle (mesures de testabilité) et expression de contraintes sur les propriétés attendues du code

-          maîtrise de la qualité des tests et de la confiance dans les logiciels en vue de leur réemploi sûr et planifié.

Ces voies s’inscrivent dans la détermination de règles, méthodes et outils pour la conception testable (“ design-for-testability ).

Je collabore activement avec l’équipe AGLAE du Valoria de l’UBS-Bretagne pour les aspects d’autotest de classe et je suis en lien avec l’équipe PFL du  LSR-IMAG pour la génération de test à partir de UML. Les contacts pris avec le “ Systems and Comp. Eng. Dept ” de la Carleton University d’Ottawa se concrétisent par des travaux et des publications communes en cours sur l’impact des contrats sur la testabilité du logiciel.

c)                  Activité de recherche au LSR-IMAG

Ma thèse concernait l’élaboration et la validation formelle puis expérimentale de mesures de testabilité du logiciel, dans le cadre de logiciels temps-réels flots de données synchrones. Les diverses publications sur ce sujet présentent les mesures de testabilité et leur impact sur la conception. Cette approche a été appliquée à plusieurs projets industriels. Par ailleurs, je me suis également intéressé à l’impact sur la testabilité du partitionnement logiciel-matériel d’un système, ce qui correspond à une des grandes étapes de décision lors de la conception avancée. Cette activité initiale se continue actuellement par diverses collaborations avec les équipes PFL du LSR-IMAG et LCIS-ValSys de l’ESISAR-INPG, au sujet des métriques de testabilité.