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 CEA - LIST
4 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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

https://hal.archives-ouvertes.fr/hal-01228715
Contributeur : Jean-Marie Mottu <>
Soumis le : vendredi 13 novembre 2015 - 16:04:26
Dernière modification le : mercredi 2 août 2017 - 10:09:47
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 | LINA | CEA | IRISA | UR1-UFR-ISTIC | CENTRALESUPELEC | UNIV-PARIS-SACLAY

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

557

Téléchargements du document

230

Contact

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