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

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