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. Len ...