Publisher's Synopsis
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.
