Searching the boundaries of a modeling space to test metamodels

Juan Cadavid 1 Benoit Baudry 1 Houari Sahraoui 2
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 GEODES
DIRO - Département d'Informatique et de Recherche Opérationnelle [Montreal]
Abstract : Model-driven software development relies on metamodels to formally capture modeling spaces. Metamodels specify concepts and relationships between them in order to represent either a specific business domain model or the input and output domains for operations on models (e.g., model refinement). In all cases, a metamodel is a finite description of a possibly infinite set of models, i.e. the set of all models which structure conforms to the description specified in the metamodel. However, there is currently no systematic method to test that a metamodel captures all the correct models of the domain and no more. In this paper, we focus on the automatic selection of a set of models in the modeling space captured by a metamodel. The selected set should both cover as many representative situations as possible and be kept small as possible for further manual analysis. We use simulated annealing to select a set of models that satisfies those two objectives and report on results using two metamodels from two different domains.
Type de document :
Communication dans un congrès
Fifth IEEE International Conference on Software Testing, Verification and Validation, Apr 2012, Montréal, Canada. 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00665866
Contributeur : Juan Cadavid <>
Soumis le : vendredi 3 février 2012 - 15:11:07
Dernière modification le : mardi 21 novembre 2017 - 15:22:28
Document(s) archivé(s) le : mercredi 14 décembre 2016 - 03:56:26

Fichier

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

Identifiants

  • HAL Id : hal-00665866, version 1

Collections

Citation

Juan Cadavid, Benoit Baudry, Houari Sahraoui. Searching the boundaries of a modeling space to test metamodels. Fifth IEEE International Conference on Software Testing, Verification and Validation, Apr 2012, Montréal, Canada. 2012. 〈hal-00665866〉

Partager

Métriques

Consultations de la notice

510

Téléchargements de fichiers

297