Discovering Model Transformation Pre-conditions using Automatically Generated Test Models

Jean-Marie Mottu 1 Sagar Sen 2 Juan Cadavid 3 Benoit Baudry 4
1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 SRL - Simula Research Laboratory [Lysaker]
3 LIST - Laboratoire d'Intégration des Systèmes et des Technologies
4 DiverSe - Diversity-centric Software Engineering
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : Specifying a model transformation is challenging as it must be able to give a meaningful output for any input model in a possibly infinite modeling domain. Transformation preconditions constrain the input domain by rejecting input models that are not meant to be transformed by a model transformation. This paper presents a systematic approach to discover such preconditions when it is hard for a human developer to foresee complex graphs of objects that are not meant to be transformed. The approach is based on systematically generating a finite number of test models using our tool, PRAMANA to first cover the input domain based on input domain partitioning. Tracing a transformation's execution reveals why some preconditions are missing. Using a benchmark transformation from simplified UML class diagram models to RDBMS models we discover new preconditions that were not initially specified.
Keywords : Model transformation Testing Model Generation Pre-condition Incomplete Domain Specification
Type de document :
Communication dans un congrès
IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Nov 2015, Washington DC, United States. Proceedings of IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, 2015
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-01228715
Contributeur : Jean-Marie Mottu <>
Soumis le : vendredi 13 novembre 2015 - 16:04:26
Dernière modification le : jeudi 7 février 2019 - 16:51:21
Document(s) archivé(s) le : dimanche 14 février 2016 - 13:56:37

Fichier

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

Identifiants

  • HAL Id : hal-01228715, version 1

Collections

INRIA | UNIV-RENNES1 | LINA | INSTITUT-TELECOM | UNIV-NANTES | CEA | IRISA | UR1-UFR-ISTIC | CENTRALESUPELEC | UNIV-RENNES | CEA-UPSAY | DRT | LIST | UNIV-PARIS-SACLAY | IRISA-D4

Citation

Jean-Marie Mottu, Sagar Sen, Juan Cadavid, Benoit Baudry. Discovering Model Transformation Pre-conditions using Automatically Generated Test Models. IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Nov 2015, Washington DC, United States. Proceedings of IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, 2015. 〈hal-01228715〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

1300

Téléchargements de fichiers

345

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD