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

|Tables des Matieres |
5.2.5 Calcul pratique des intervalles ous :::::::::::::::: 86
5.3 Meilleur point a tester : une approche qualitative oue ::::::::: 87
5.3.1 L'entropie oue ::::::::::::::::::::::::::: 90
5.3.2 Choix du point a tester ::::::::::::::::::::::: 91
5.3.2.1 La distance de Hamming :::::::::::::::::: 91
5.3.2.2 La fonction de co^ut ::::::::::::::::::::: 92
5.3.2.3 Choix des coecients :::::::::::::::::::: 92
5.4 Exemples d'application ::::::::::::::::::::::::::: 94
5.4.1 Application a un systeme combinatoire :::::::::::::: 94
5.4.2 Application a un systeme sequentiel :::::::::::::::: 97
5.5 Conclusion :::::::::::::::::::::::::::::::::: 99
6 Presentation de l'outil TANDEM 102
6.1 Introduction :::::::::::::::::::::::::::::::::102
6.2 Architecture globale du systeme ::::::::::::::::::::::103
6.3 Presentation des dierent modules du systeme ::::::::::::::104
6.3.1 Description du noyau de l'outil ::::::::::::::::::104
6.3.2 Description de l'interface avec les ATPGs :::::::::::::105
6.3.3 Description du bloc de test :::::::::::::::::::::106
6.3.3.1 module de test des fautes d'interaction ::::::::::106
6.3.3.2 module de test des circuits en cascade ::::::::::107
6.3.4 Description du Module de diagnostic : : : : : : : : : : : : : : :107
6.3.4.1 Bloc d'interface avec PESTICIDE :::::::::::::108
6.3.4.2 Bloc de diagnostic de TANDEM ::::::::::::::108
6.4 Conclusion ::::::::::::::::::::::::::::::::::109
7 Experimentations et resultats 111
7.1 Introduction :::::::::::::::::::::::::::::::::111
7.2 Resultats du module de test par ordonnancement ::::::::::::113
7.2.1 Analyse des resultats obtenus :::::::::::::::::::114
7.3 Resultats du module de test BS ::::::::::::::::::::::115
{vi {