Contribution à l''analyse de testabilité des Systèmes Réactifs - Doumbia, Fassely
56,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
28 °P sammeln
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
est Ingénieur en Informatique des Systèmes Avancés et Réseaux de l''Institut Polytechnique de Grenoble en 2006 ; et titulaire d''un Doctorat en Informatique sur l''aide à la Validation et à la Vérification des systèmes critiques dans le domaine de l''avionique en 2010. Il exerce dans le domaine du développement des systèmes critiques.