Contribution à l''analyse de testabilité des Systèmes Réactifs - Doumbia, Fassely

. .

Résumé :
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....

Biographie:
est Ing?nieur en Informatique des Syst?mes Avanc?s et R?seaux de l&apos...