Une plate-forme de test pour les cartes hybrides

Résumé : Nous présentons une méthode ainsi qu'une architecture et les premières briques d'une plate-forme pour le test de cartes hybrides. L'accent est mis sur la modélisation fonctionnelle des cartes et sur les stratégies de test fonctionnel développées pour le test en maintenance. Ces stratégies s'expriment en termes de contraintes et leur mise en oeuvre repose sur la programmation logique par contraintes. Pour finir, l'etat actuel de la plate-forme et ses évolutions futures sont présentées.
Type de document :
Communication dans un congrès
plateforme AFIA 2003, Jul 2003, Laval, France. p.17, 2003
Liste complète des métadonnées

http://hal.univ-brest.fr/hal-00607386
Contributeur : Valérie-Anne Nicolas <>
Soumis le : vendredi 8 juillet 2011 - 17:00:48
Dernière modification le : vendredi 13 octobre 2017 - 01:08:50
Document(s) archivé(s) le : dimanche 9 octobre 2011 - 02:31:26

Fichier

afia_03.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00607386, version 1

Collections

Citation

Bertrand Gilles, Valérie-Anne Nicolas, Lionel Marcé. Une plate-forme de test pour les cartes hybrides. plateforme AFIA 2003, Jul 2003, Laval, France. p.17, 2003. 〈hal-00607386〉

Partager

Métriques

Consultations de la notice

140

Téléchargements de fichiers

56