Assistance au test de modèles à composants et services - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

Assistance au test de modèles à composants et services

Pascal Andre
Jean-Marie Mottu
  • Fonction : Auteur
  • PersonId : 20958
  • IdHAL : mottu-jm

Résumé

Dans l'ingénierie des modèles, la correction des modèles est essentielle. Tester le plus tôt possible permet de réduire le coût du processus de véri cation et de validation. Distinguer modèle abstrait et modèle spéci fique réduit la complexité du test et favorise l'évolution du système modélisé. Nous ciblons les modèles à composants et services, ayant un niveau de description su ffisamment précis et détaillé pour pouvoir exécuter les tests. Notre objectif est de tester ces modèles à composants c'est-à-dire de concevoir des cas de tests, de les appliquer sur les modèles mis dans un contexte adéquat pour être exécutés et obtenir un verdict. Pour réduire l'eff ort de construction du harnais de test, nous proposons une méthode qui guide le testeur dans le processus de conception des tests au niveau du modèle. L'assistance à la construction est basée sur (1) la détection d'incohérences et d'incomplétude entre le harnais et le modèle de test ainsi que sur (2) des propositions générant les éléments manquants. Le programme de test est alors transformé vers une plateforme technique dédiée à l'exécution des tests. La mise en oeuvre est réalisée avec des plugins Eclipse dans COSTO, une plateforme dédiée au modèle à composants Kmelia.
Fichier principal
Vignette du fichier
ciel2013.pdf (624.49 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00823319 , version 1 (16-05-2013)

Identifiants

  • HAL Id : hal-00823319 , version 1

Citer

Pascal Andre, Gilles Ardourel, Jean-Marie Mottu. Assistance au test de modèles à composants et services. 2ème Conférence en IngénieriE du Logiciel, Apr 2013, Nancy, France. pp.13-28. ⟨hal-00823319⟩
158 Consultations
504 Téléchargements

Partager

More