Grâce à la génération automatique des codes exécutables à partir de langages graphiques (SCADE ou SIMULINK), le cycle de développement des systèmes embarqués en avionique s’est considérablement réduit ces dernières années.  Mais l’utilisation de ces outils nécessite encore des campagnes de test extrêmement coûteuses, en particulier parce que la production de ces tests repose sur l’expertise des testeurs et reste une activité «manuelle». Pour répondre au souci d’optimisation des coûts de développement, le projet ANR SIESTA étudie l’amélioration du processus de test avec l’objectif d’automatiser la génération des tests et l’évaluation de leur qualité.
Cet exposé présente, dans un premier temps, les problématiques scientifiques de SIESTA. Nous nous intéressons ensuite à certaines des approches de génération de tests et d'évaluation de la couverture, définies sur les modèles produits par l'environnement SCADE, et qui sont au coeur des travaux de ce projet.