Skip to Main content Skip to Navigation
Master Thesis

Conception d'un générateur de programmes de test de microprocesseurs

Résumé : Les études sur le test fonctionnel d'un microprocesseur et de ses périphériques se situent dans le cadre d'un projet pilote de l'IRIA : sûreté de fonctionnement des systèmes (SURF). Nos efforts ont portés sur la réalisation d'une bibliothèque de programmes de test pour microprocesseurs standards. Ceci explique que la méthode de test proposée est de type fonctionnel, basée sur la notion d'erreur ou de mauvais fonctionnement du microprocesseur. Ainsi, en première partie, on présentera cette méthode de test fonctionnel applicable à tout microprocesseur connu uniquement par son manuel d'utilisation et permettant une automatisation aisée. La deuxième partie concerne l'aspect logiciel. Sachant que l'on veut produire à la demande et dans un délai très court, les programmes de test pour un microprocesseur donné, le travail exposé dans ce mémoire a consisté à créer un outil : de description des microprocesseurs (le langage ROBIN), et de génération des programmes de test (le logiciel ROBIN). En troisième partie, on donnera un exemple de mise en œuvre pour la génération du programme de test pour le microprocesseur Motorola 6800. En quatrième partie, on présentera notre participation à la conception d'un testeur qui permettra, entre autres, de valider les programmes de test.
Complete list of metadata

https://dumas.ccsd.cnrs.fr/dumas-00298602
Contributor : Grenoble Cnam <>
Submitted on : Wednesday, July 16, 2008 - 5:21:13 PM
Last modification on : Tuesday, February 16, 2021 - 3:27:44 AM
Long-term archiving on: : Monday, May 31, 2010 - 7:20:27 PM

Identifiers

  • HAL Id : dumas-00298602, version 1

Collections

Citation

Annie Liothin. Conception d'un générateur de programmes de test de microprocesseurs. Architectures Matérielles [cs.AR]. 1981. ⟨dumas-00298602⟩

Share

Metrics

Record views

309

Files downloads

91