ISBN-13: 9786131514043 / Francuski / Miękka / 2018 / 280 str.
Les phases de validation et de vA(c)rification (V&V) des systA]mes rA(c)actifs critiques sont trA]s importantes en termes de coAt et de temps. Dans ce contexte, toute mA(c)thode et outil permettant d''aider A la rA(c)alisation des activitA(c)s de V&V est d''une trA]s grande importance. Le test fonctionnel est le moyen le plus utilisA(c) au cours de ces phases de V&V. Or, les mA(c)thodes de test prA(c)sentent des limites (problA]me d''exhaustivitA(c) liA(c) A la taille et A la complexitA(c) des systA]mes). De ce fait, les enjeux de la maA(R)trise de l''effort de test (complexitA(c) et coAt) sont majeurs, mais les exigences de qualitA(c) pour ces systA]mes sont trA]s grandes. Dans cette optique, deux mA(c)thodologies, basA(c)es sur les concepts d''analyse de testabilitA(c) et les stratA(c)gies de test, ont A(c)tA(c) dA(c)finies. La premiA]re mA(c)thodologie permet d''aider A la dA(c)finition de jeux de test pertinents et A l''analyse de couverture des systA]mes spA(c)cifiA(c)s dans un formalisme flot de donnA(c)es SCADE dans le contexte AIRBUS. La seconde propose des mA(c)thodes d''aide A la vA(c)rification (identification de tests pertinents et localisation de composants dA(c)fectueux au cours du diagnostic) de systA]mes sur la chaA(R)ne d''assemblage finale (FAL) d''un avion AIRBUS.
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 daider à la réalisation des activités de V&V est dune 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 dexhaustivité lié à la taille et à la complexité des systèmes). De ce fait, les enjeux de la maîtrise de leffort 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 danalyse de testabilité et les stratégies de test, ont été définies. La première méthodologie permet daider à la définition de jeux de test pertinents et à lanalyse 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 daide à la vérification (identification de tests pertinents et localisation de composants défectueux au cours du diagnostic) de systèmes sur la chaîne dassemblage finale (FAL) dun avion AIRBUS.