Assistance au test de modèles à composants et services
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.
Domaines
Génie logiciel [cs.SE]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...