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

Chapitre 4. | Approches en vue du Diagnostic |
les informations topologiques extraites de la description du systeme.
Une deuxieme phase basee sur un raisonnement qualitatif, et dont lat^ache
consiste a mettre a jour les estimations relatives au degre d'implication de chaque
module dans le dysfonctionnement observe.
Une derniere phase responsable de la localisation du bloc defectueux. Elle utilise
un raisonnement semi,qualitatif associant des notions de logique oue.
4.3.1 Generation des candidats
Nous nous placons dans le cadre des hypotheses de travail suivantes :
Le systeme a diagnostiquer est decrit au niveau des blocs. Ces derniers sont
consideres comme des boites noires avec des entrees/sorties. Aucune indication
sur la fonctionnalite du bloc n'est requise.
Nous disposons d'un ensemble de vecteurs de test a appliquer sur les entrees
primaires du systeme, et les reponses correctes relatives a chaque vecteur.
Le processus de diagnostic est invoque lorsqu'un mauvais fonctionnement du systeme
est constate. Lors du diagnostic, on peut ^etre confronte a deux types de systemes :
soit des systemes combinatoires soit des systemes sequentiels. Dans la methode que
nous proposons, ces deux types de systemes sont traites globalement delam^eme
facon. Neanmoins, les systemes sequentiels requierent un traitement supplementaire
specique qu'on indiquera au moment opportun.
4.3.1.1 Cas des systemes combinatoires
La procedure de generation des candidats utilise un algorithme base sur la notion
de cause a eet. Cet algorithme se deroule en deux phases distinctes :
- Une premiere phase dite de propagation arriere (\backtracing phase") durant
laquelle l'algorithme cherche a mettre a jour les blocs qui ont pu contribuer a engendrer
une sortie erronee. Pour cela, et pour chaque sortie aectee, l'algorithme
{71 {