Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.univ-brest.fr/hal-00607376
Contributor : Valérie-Anne Nicolas <>
Submitted on : Friday, July 8, 2011 - 4:47:41 PM
Last modification on : Friday, December 13, 2019 - 10:42:04 AM
Long-term archiving on: : Sunday, October 9, 2011 - 2:31:12 AM

File

majecstic.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

166

Files downloads

121