Les phases de validation et de verification (V&V) des systemes reactifs critiques sont tres importantes en termes de cout et de temps. Dans ce contexte, toute methode et outil permettant d'aider a la realisation des activites de V&V est d'une tres grande importance. Le test fonctionnel est le moyen le plus utilise au cours de ces phases de V&V. Or, les methodes de test presentent des limites (probleme d'exhaustivite lie a la taille et a la complexite des systemes). De ce fait, les enjeux de la maitrise de l'effort de test (complexite et cout) sont majeurs, mais les exigences de qualite pour ces systemes sont tres grandes. Dans cette optique, deux methodologies, basees sur les concepts d'analyse de testabilite et les strategies de test, ont ete definies. La premiere methodologie permet d'aider a la definition de jeux de test pertinents et a l'analyse de couverture des systemes specifies dans un formalisme flot de donnees SCADE dans le contexte AIRBUS. La seconde propose des methodes d'aide a la verification (identification de tests pertinents et localisation de composants defectueux au cours du diagnostic) de systemes sur la chaine d'assemblage finale (FAL) d'un avion AIRBUS."