Le CEA-LETI mène depuis plusieurs années des travaux de R&D pour la définition de méthodes de conception et de test des systèmes programmés utilisés dans l'industrie nucléaire. Ces travaux, effectués dans différentes équipes du CEA-LETI à Saclay, ont mené à la mise en oeuvre des techniques élaborées au sein de différents outils, tels que CLAIRE pour le test par simulation d'un code exécutable et de son environnement matériel (processeur...) ; GaTEL : génération de scénarios de test pour l'outil CLAIRE à partir de spécifications LUSTRE ; AGATHA : identification des comportements et génération automatique de test à partir de spécifications à base d'automates asynchrones communicants ; et, dans le cadre du projet OASIS pour le développement de systèmes temps réel critiques, une méthode de conception et de réalisation de systèmes temps-réel multitâches déterministes (unicité et invariance de comportement pour la testabilité) permettant de construire une preuve algébrique du respect des contraintes temps réel des applications.
     Après cette présentation de nos activités autour du test, nous nous intéresserons plus particulièrement au projet AGATHA réalisé en collaboration étroite avec EdF/DER et effecturons une analyse des résultats obtenus par l'outil sur un modèle partiel de dispatching électrique fourni par EdF.
      L'approche a permis, grâce à son moteur de calcul symbolique, de mettre en évidence les comportements nominaux du système, et sur cet exemple comptant plus de 1000 lignes de code ESTELLE et environ 50 variables, de dégager une vingtaine de tests paramétrés. Ces tests paramètres incluent potentiellement tous les tests numériques pertinents qu'on peut appliquer au système.