Une plate-forme pour le test de 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 œuvre repose sur la programmation logique par contraintes. Pour finir, nous évoquons une étude de cas industrielle, puis l'état d'avancement actuel de la plate-forme et ses évolutions futures sont discutées.
Type de document :
Communication dans un congrès
MAJECSTIC 2003, Oct 2003, Marseille, France. p.26, 2003
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

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

Fichier

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

Identifiants

  • HAL Id : hal-00607376, version 1

Collections

Citation

Bertrand Gilles, Valérie-Anne Nicolas, Lionel Marcé. Une plate-forme pour le test de cartes hybrides. MAJECSTIC 2003, Oct 2003, Marseille, France. p.26, 2003. 〈hal-00607376〉

Partager

Métriques

Consultations de la notice

145

Téléchargements de fichiers

101