Une plate-forme pour le test de cartes hybrides - Université de Bretagne Occidentale Access content directly
Conference Papers Year : 2003

Une plate-forme pour le test de cartes hybrides

Abstract

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.
Fichier principal
Vignette du fichier
majecstic.pdf (140.97 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00607376 , version 1 (08-07-2011)

Identifiers

  • HAL Id : hal-00607376 , version 1

Cite

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. ⟨hal-00607376⟩

Collections

UNIV-BREST ENIB
84 View
494 Download

Share

Gmail Mastodon Facebook X LinkedIn More