Objectifs : Le projet vise au développement de tests a partir de spécifications UML (Unified Modeling Language) pour la validation et la vérification de logiciels de type réactif. Actions : La conception des tests est actuellement une activité essentiellement manuelle, fondée sur le savoir-faire des ingénieurs, mais peu reproductible et ne permettant pas une réelle certification des produits. Lenjeu est majeur pour le déploiement des systemes informatiques, en particulier pour les systemes critiques qui exigent un haut niveau de fiabilité. (systemes bancaires en ligne, logiciels embarqués sur automobiles, cartes a puce, équipements biomédicaux…) Lopération se déroule en 8 phases : l méthode de génération de tests a partir dun modele UML, l transformation de spécifications UML pour la génération de tests, l conversion des spécifications UML en format intermédiaire, l prototype de la boite a outils de génération de tests « TestUML », l validation du prototype sur des applications déja traitées au LIFC, l expérimentation « carte bancaire » SchlumbergerSema, l expérimentation « ordre de paiement par Internet » Unicible, l synthese évaluation transfert vers lindustrie – étude de création dune entreprise. 2 entreprises sont impliquées : Schlumberger Sema/e-City (France) et Unicible (Suisse) Effets attendus : l réalisation dun outil logiciel pour la génération de tests a partir de spécifications UML, l expérimentation et transfert de savoir-faire vers les entreprises impliquées, l faisabilité pour la création dune entreprise, l diffusion large des résultats.