Contribution à l'étude et au développement d'un générateur de séquences de test comportemental

par Anne-Lise Courbis

Thèse de doctorat en Composants, signaux et systèmes

Sous la direction de Norbert Giambiasi.

Soutenue en 1991

à Montpellier 2 .


  • Résumé

    La conception de circuits digitaux a haute echelle d'integration pose le probleme de la generation de sequences de test a partir de descriptions comportementales. Nous presentons, dans ce memoire, une technique de generation automatique de sequences de test par detection de pannes. Cette technique repose d'une part, sur la definition d'un modele comportemental, support d'application du generateur, et d'autre part sur l'enumeration d'hypotheses de pannes comportementales. Une panne unique etant injectee sur un element du modele comportemental, sa detection implique plusieurs etapes: sensibiliser l'element en panne de facon a produire localement un effet de panne, puis propager cet effet jusqu'a une sortie primaire. Ces etapes posent des problemes de definition et e resolution de contraintes, ces contraintes etant positionnees sur des elements du modele pour manifester ou propager localement un effet de panne. Pour chacun des problemes, nous proposons donc un principe de resolution. Nous nous interessons ensuite a la mise en uvre de la technique de generation selon un point de vue pratique. Dans cet objectif, nous utilisons les concepts de construction et de parcours d'arbres de reduction qui ont ete formalises dans le domaine de l'intelligence artificielle. Cette etude ayant conduit au developpement d'un prototype, nous en presenterons son architecture generale

  • Titre traduit

    Contribution to the study and the development of a behavioral test pattern generator


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 209 p
  • Annexes : Bibliogr.: p. 190-195. - Liste des trav. de l'auteur p. 196-198

Où se trouve cette thèse\u00a0?

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

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1991-COU
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.