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

Chapitre 4. | Approches en vue du Diagnostic |
parcourt le circuit en repertoriant tous les blocs convergeant vers cette sortie.
Ces blocs appartiennent tous a ce que l'on designera par \c^one de fanin" ou
\coverage cone" [MCl84]. Ces blocs seront declares comme \presumes Fautifs",
et stockes dans une liste.
- Une deuxieme phase dite de propagation avant (\forward propagation") dans
laquelle on fait la mise a jour des estimations obtenues lors de la premiere
phase, et en m^eme temps on essaie d'identier les blocs completement observables
(c'est,a,dire dont les entrees/sorties sont primaires). Ces blocs seront
denitivement declares comme \Correct" ou \Fautif" en fonction de leur etat,
et retires de la liste des blocs \presume defaillant". Les blocs non aectes
et debouchant sur des sorties correctes seront declares dans un premier temps
comme \Presume Correct". La mise a jour des estimations se fait de la maniere
presentee dans le paragraphe 4.3.2.
Sites possibles de la faute
Sorties erronées
Figure 4.4: Intersection en cas de faute unique
A ce stade de l'algorithme, un choix sur l'hypothese de faute doit ^etre fait. Si on choisit
de se positionner dans l'hypothese de la faute unique, alors l'etape suivante consiste
a chercher l'intersection des ensembles generes (si plusieurs sorties sont erronees). Le
bloc fautif appartenant necessairement a cet ensemble resultant de candidats (gure
4.4). Si la sequence de test appliquee assure une couverture de faute de 100%,
alors les blocs restants seront consideres comme \Vraisemblablement correct" . Sinon,
ils seront declares comme \Presume Correct".
Par contre, dans le cas ou on opte pour l'hypothese de faute multiple, aucun traitement
supplementaire n'est eectue avant le commencement de la phase suivante.
{72 {