TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA

Chapitre 4. | Approches en vue du Diagnostic |
Suppose Correct (S C)
Ambigu (Amb)
Suppose Fautif (S F)
Plut^ot Fautif (P F)
Vraisemblablement Fautif (V F)
Fautif (F)
Il est clair que cette decomposition purement arbitraire, peut ^etre modiee en
fonction des exigences de l'application. Elle dependra surtout du degre de granularite
desire pour le diagnostic. Pour faciliter la procedure de modication de cette
decomposition, nous avons opte pour une representation matricielle (gure 4.6). Avec
ce type de representation, changer la decomposition revient a remplacer la matrice
par une autre. Le fusionnement des resultats des dierentes sessions de diagnostic
se deroule donc selon les regles qualitatives denies dans la matrice de la gure 4.6.
Cette matrice doit ^etre interpretee de la maniere suivante : Si un premier vecteur de
test donne a un composant X une estimation i, et un deuxieme lui donne une estimation
j, alors la nouvelle estimation pour ce composant sera M(i,j), avec M la matrice
et i, j respectivement la ligne et la colonne (ou l'inverse etant donne que la matrice est
symetrique). Par exemple, si X est estime SC(i=3) par un vecteur et S F(j=7) par
un autre, le resultat est M(S C,S F)= Amb. On remarquera que cette matrice comprend
deux lignes et colonnes particulieres ; il s'agit des lignes et colonnes \Correct"
et \Fautif". Elles expriment le fait que \Correct" et \Fautif" sont plus proches de
l'armation que de l'estimation. Ceci decoule du fait qu'elles sont obtenues a partir
de mesures (observation directes des entrees/sorties primaires du bloc concerne) et
que, hormis le cas ou elles auraient ete eectuees lors d'un \test escape case" [Ben94],
ces mesures sont considerees comme ables.
Il est a noter que dans ce processus, aucune hypothese n'a eteavancee sur la capacite
de diagnostic (\diagnosis power") de chaque vecteur. Cette notion exprime le fait
{75 {