Kod: 06920779
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 ... więcej
Za ten zakup dostaniesz 324 punkty
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.
Kategoria Knihy po francúzsky LITTÉRATURE GÉNÉRALE Essais littéraires
131.30 €
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
Nákupný košík ( prázdny )