Contribution l''analyse de Testabilit Des Syst mes R actifs

Les phases de validation et de vrification (V&V) des systmes ractifs critiques sont trs importantes en termes de cot et de temps. Dans ce contexte, toute mthode et outil permettant d'aider la ralisation des activits de V&V est d'une trs grande importance. Le test fonctionnel est le moyen le plus utilis au cours de ces phases de V&V. Or, les mthodes de test prsentent des limites (problme d'exhaustivit li la taille et la complexit des systmes). De ce fait, les enjeux de la matrise de l'effort de test (complexit et cot) sont majeurs, mais les exigences de qualit pour ces systmes sont trs grandes. Dans cette optique, deux mthodologies, bases sur les concepts d'analyse de testabilit et les stratgies de test, ont t dfinies. La premire mthodologie permet d'aider la dfinition de jeux de test pertinents et l'analyse de couverture des systmes spcifis dans un formalisme flot de donnes SCADE dans le contexte AIRBUS. La seconde propose des mthodes d'aide la vrification (identification de tests pertinents et localisation de composants dfectueux au cours du diagnostic) de systmes sur la chane d'assemblage finale (FAL) d'un avion AIRBUS.