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

More documents

Recommendations

Info

Chapitre 6. | Presentation de l'outil TANDEM | Figure 6.4: Module de test BS Toutes ces etapes sont realisees directement a partir de l'interface utilisateur (gure 6.4) 6.3.3.2 module de test des circuits en cascade En invoquant ce module, l'outil recupere les informations concernant les modules a assembler. Il construit alors la matrice de couverture de chacun d'entre eux. Ensuite, il demande a l'utilisateur la conguration d'interconnexion souhaitee. En sortie, il donne les vecteurs de test generes ainsi que des informations sur les problemes de contr^olabilite et d'observabilite rencontres (vecteurs amont non propages completement ou bien vecteurs aval n'ayant pas pu ^etre reconstitues) [Mor95]. 6.3.4 Description du Module de diagnostic Le module de diagnostic est en realite compose de deux blocs : un bloc d'interface avec PESTICIDE (paragraphe 4.2.3) et le bloc de diagnostic propre a TANDEM { 107 {
Chapitre 6. | Presentation de l'outil TANDEM | (paragraphe 4.3) 6.3.4.1 Bloc d'interface avec PESTICIDE Ce bloc est responsable de la generation automatique des diverses bases de connaissances necessaires pour demarrer le diagnostic avec PESTICIDE. A partir des informations stockees dans la base de donnees de TANDEM, et les resultats des sessions de test eectuees, TANDEM genere tous les chiers requis par PESTICIDE. 6.3.4.2 Bloc de diagnostic de TANDEM Ce bloc regroupe les procedures de diagnostic et de localisation elaborees dans le cadre de cette these. Dans un premier temps, l'outil extrait les informations accumulees pendant les dierentes sessions de test, et propose apres traitement les candidats potentiels (gure 6.5). Figure 6.5: Diagnostic de fautes avec TANDEM { 108 {
Page 1 and 2:
THESE presentee par Mohamed Hedi TO
Page 3 and 4:
Remerciements Si le titre de docteu
Page 5 and 6:
Abstract Today's Integrated Circuit
Page 7 and 8:
|Tables des Matieres | 2.2 Descript
Page 9 and 10:
|Tables des Matieres | 5.2.5 Calcul
Page 11 and 12:
Liste des Figures 1.1 Architecture
Page 13 and 14:
| Liste des Figures | 6.6 Localisat
Page 15 and 16:
| Liste des Tableaux | 7.8 Resultat
Page 17 and 18:
Introduction Les progres accomplis
Page 19 and 20:
Chapitre 0. | Introduction | Malgre
Page 21 and 22:
Chapitre 1 L'approche "Boundary Sca
Page 23 and 24:
Chapitre 1. | L'approche "Boundary
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Page 35 and 36:
Page 37 and 38:
Chapitre 2 Methodologie pour le tes
Page 39 and 40:
Chapitre 2. | Methodologie pour le
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Chapitre 3 Adaptation au cas des MC
Page 65 and 66:
Chapitre 3. | Adaptation au cas des
Page 67 and 68:
Page 69 and 70:
Page 71 and 72: Chapitre 3. | Adaptation au cas des
Page 73 and 74: Chapitre 3. | Adaptation au cas des
Page 75 and 76: Chapitre 4 Approches en vue du Diag
Page 77 and 78: Chapitre 4. | Approches en vue du D
Page 95 and 96: Chapitre 5 tester Recherche du meil
Page 97 and 98: Chapitre 5. | Recherche du meilleur
Page 117 and 118: Chapitre 6 Presentation de l'outil
Page 119 and 120: Chapitre 6. | Presentation de l'out
Page 121: Chapitre 6. | Presentation de l'out
Page 125 and 126: Chapitre 7 Experimentations et resu
Page 127 and 128: Chapitre 7. | Experimentations et r
Page 135 and 136: Chapitre 8 Conclusion Dans ce trava
Page 137 and 138: Chapitre 8. | Conclusion | des outi
Page 139 and 140: Bibliographie
Page 141 and 142: Bibliographie [BBK89] F. Brglez,D.
Page 143 and 144: | Bibliographie | [HRA88] A. Hassan
Page 145 and 146: | Bibliographie | [Mor95] F. Morgad
Page 147: | Bibliographie | [Wag87] P. Wagner
show all

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

Create successful ePaper yourself

Delete template?

Save as template?