Contribution au test des pannes temporelles : diagnostic et génération de vecteurs de test orientée diagnostic

par Béatrice Rodriguez

Thèse de doctorat en Informatique, automatique et traitement su signal

Sous la direction de Serge Pravossoudovitch.

Soutenue en 1996

à Montpellier 2 .


  • Résumé

    Cette these s'inscrit dans le cadre du test de pannes temporelles et concerne plus particulierement le diagnostic. Les pannes temporlles, ou fautes de delai, modelisent des defauts physiques (fabrication) ou des defauts de conception qui perturbent le fonctionnement normal d'un circuit a haute frequence uniquement. Nous proposons une methode de diagnostic dediee aux pannes temporelles pour traiter les circuits sequentiels synchrones. Cette approche represente une alternative a la simulation de fautes et repose sur une simulation multi-valuee et un trace de chemins critiques. Elle permet d'obtenir, par regroupement des chemins traces, une localisation approchee du site de la panne. Les resultats obtenus avec les circuits de reference iscas'89 ont valide l'efficacite de cette methode. La precision du diagnostic depend de la sequence de test. Il est possible d'ameliorer cette precision en generant des vecteurs de test en vue du diagnostic. Compte tenu des limitations des techniques deterministes (temps d'execution prohibitifs) et aleatoires (aucun controle de la creation des vecteurs de test), nous proposons une methode de generation de vecteurs de test orientee diagnostic basee sur les algorithmes genetiques. Cette approche permet d'obtenir, a partir d'une sequence de test initiale aleatoire, des vecteurs de test qui presentent de bonnes aptitudes a distinguer des fautes de delai les unes des autres, sans augmenter la longueur de test. Les resultats obtenus avec les circuits de reference iscas'85 ont permis de valider l'efficacite de cette approche par rapport aux techniques deterministes et/ou aleatoires

  • Titre traduit

    Contribution of delay faults testing: diagnosis and diagnostic oriented test pattern


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 162 P
  • Annexes : Bibliogr.: p. 141-148. - Liste des publ. de l'auteur p. 149

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 96.MON-111

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1996-ROD
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.