Thèse de doctorat en Automatique et informatique
Sous la direction de Norbert Giambiasi.
Soutenue en 1989
à Aix-Marseille 3 , en partenariat avec Université Paul Cézanne. Faculté des sciences et techniques de Saint-Jérôme (Aix-Marseille) (autre partenaire) .
Pour réduire le coût d'une carte numérique soumise à un générateur automatique de séquence de test, la solution consiste à procéder par étapes: 1) découpage fonctionnel de la carte en sous ensembles; 2) génération automatique de séquences de test locales à ces sous ensembles; 3) intégration des séquences de test locales en procédures de test globales à la carte. Thesee a été élaborée afin d’assister un expert dans ces taches de découpage.
Pas de résumé disponible.