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

Chapitre 2. | Methodologie pour le test des cartes heterogenes |
Amont V1 V2 V3 V4 V5 V6 V1 V2 V3 V4 V5 V6
Aval
V1 0 0 2 2 0 0 0 0 1 1 0 0
V2 0 0 0 0 0 2 0 0 0 0 0 1
V3 2 0 0 0 0 0 1 0 0 0 0 0
V4 0 1 0 0 1 0 0 0 0 0 1 0
V5 0 1 0 0 1 0 0 1 0 0 1 0
V6 0 0 0 0 0 0 1 0 0 0 0 0
Correspondance
Compatibilite
Tableau 2.2: Correspondance et compatibilite entre vecteurs de test pour le c17
correspondance totale avec ce vecteur amont. Si on ne le trouve pas, on cherche les
vecteurs compatibles et on genere les combinaisons susceptibles de propager le vecteur
amont. On choisit parmi ces combinaisons (si elles existent) celles qui assurent un
maximum de couverture avec le moins de vecteurs. Les resultats sont ensuite stockes
sous forme de liste.
, Une phase de construction des vecteurs du module aval durant laquelle on parcourt
la liste des sequences generees lors de l'etape precedente en identiant les vecteurs qui
n'ont pas encore ete reconstitues. Pour chacun de ces vecteurs, on parcourt l'ensemble
des vecteurs amont et on lui aecte le premier vecteur qui lui est compatible.
A la n de ces deux etapes, on se retrouve avec deux listes : celle des vecteurs a
appliquer aux conglomerats et celle des vecteurs qui n'ont pas pu ^etre propages ou
reconstruits correctement.
Dans l'exempleprecedent (gure 2.3), notre raisonnement aete developpe sur le cas
d'un conglomerat compose de deux modules. Ce raisonnement reste valable dans le
cas ou le conglomerat serait compose deK modules. Il sut simplementderepeter le
m^eme algorithme (K , 1) fois, en considerant achaque fois deux blocs. Par exemple,
dans le cas ou K = 3, on applique la premiere fois l'algorithme sur l'ensemble forme
{33 {