Les phases de validation et de v rification (V&V) des syst mes r actifs critiques sont tr s importantes en termes de co t et de temps. Dans ce contexte, toute m thode et outil permettant d'aider la r alisation des activit s de V&V est d'une tr s grande importance. Le test fonctionnel est le moyen le plus utilis au cours de ces phases de V&V. Or, les m thodes de test pr sentent des limites (probl me d'exhaustivit li la taille et la complexit des syst mes). De ce fait, les enjeux de la ma trise de l'effort de test (complexit et co t) sont majeurs, mais les exigences de qualit pour ces syst mes sont tr s grandes. Dans cette optique, deux m thodologies, bas es sur les concepts d'analyse de testabilit et les strat gies de test, ont t d finies. La premi re m thodologie permet d'aider la d finition de jeux de test pertinents et l'analyse de couverture des syst mes sp cifi s dans un formalisme flot de donn es SCADE dans le contexte AIRBUS. La seconde propose des m thodes d'aide la v rification (identification de tests pertinents et localisation de composants d fectueux au cours du diagnostic) de syst mes sur la cha ne d'assemblage finale (FAL) d'un avion AIRBUS.