Abstract FR:

Ce travail concerne la qualite de specifications flot de donnees mixtes logiciel-materiel. Le langage plus particulierement etudie est le langage sao (specification assistee par ordinateur) actuellement utilise dans les domaines avionique et spatial. Les facteurs que nous cherchons a analyser sont la testabilite et la diagnosabilite de la specification. L'enjeu de la testabilite, definie comme facilite a tester, apparait dans l'opposition a priori entre l'efficacite exigee de la phase de validation et le cout qu'elle occasionne, sachant qu'il faut bien tester pour obtenir une bonne confiance dans le systeme. Le but de l'analyse de testabilite est de rendre compatibles ces exigences de confiance et de reduction des couts : un systeme plus testable doit pouvoir etre teste plus efficacement a moindre cout. Comme l'activite de diagnostic s'integre pleinement au processus de validation, nous nous sommes aussi interesses a la diagnosabilite du systeme, definie comme la facilite a localiser les fautes detectees. Pour elaborer une analyse de testabilite et diagnosabilite, il faut pouvoir l'estimer, la mesurer. C'est le principal objet de ce travail que de definir des mesures de testabilite et de diagnosabilite aidant a la detection d'enventuelles faiblesses de la specification et a l'elaboration de la strategie de test la plus adaptee. Pour cela, le comportement attendu des mesures est specifie, puis le modele et les mesures sont definis formellement. Les mesures sont verifiees theoriquement par rapport au comportement attendu intuitivement. Ceci garantit la conformite des mesures avec l'intuition et est complete par une premiere verification experimentale. On distingue les mesures globales de testabilite, permettant de comparer des architectures entre elles, des mesures locales plus precises, permettant la localisation de problemes de testabilite au sein d'une architecture. Nous proposons trois mesures globales (cout de test pour une strategie donnee, controlabilite et observabilite globales) et deux mesures locales (controlabilite et observabilite d'un composant d'une architecture). De maniere parallele, au niveau global et local, nous definissons des mesures de la diagnosabilite.