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)...
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...