Formal Specification and Testing of Model Transformations

Vallecillo, Antonio; Gogolla, Martin; Burgueño, Loli; Wimmer, Manuel; Hamann, Lars

doi:10.1007/978-3-642-30982-3_11

Cited by 40 publications

(35 citation statements)

References 42 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly, Vieira et al [179] provide an API to manipulate ATL [94] transformation elements in order to assist the designer during the inspection of the model transformations. On the other hand, Vallecillo et al [176] propose a testing based method to check the correctness of ATL transformations. To do that, first they define the requirements that a transformation has to fulfill (i.e.…”

Section: Verification Of M2m Transformationsmentioning

confidence: 99%

Lightweight and static verification of UML executable models

Planas

Cabot

Gómez

2016

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

A la meva família, per acompanyar-me en aquest camí.A dissertation presented by Elena Planas Hortal in partial fulfillment of the requirements for the degree of Doctor per la Universitat Politècnica de Catalunya Barcelona, February 10, 2013 Agraïments Doing a PhD thesis is a lonely task that cannot be carried out alone. AnonymAquesta tesiés el resultat d'uns quants anys de feina, durant els quals he rebut el suport, tan professional com personal, de moltes persones. Aquests agraïments són per tots vosaltres.En primer lloc, vull donar les gràcies als meus directors de tesi, al Dr. Jordi Cabot i a la Dra. Cristina Gómez, per donar-me l'oportunitat de treballar i aprendre al seu costat. Al Jordi, moltes gràcies per aportar una visió clara i resolutiva dels problemes, pels seus consells precisos que sempre m'han resultat moltútils i per la seva disponibilitat des de qualsevol lloc del món. A la Cristina, moltes gràcies pel seu rigor científic i grau d'exigència, i també per la seva proximitat, dedicació i interès constant. A tots dos, moltes gràcies per la vostra orientació i suport que m'han permès arribar fins aquí.Moltíssimes gràcies a totes les persones que han col.laborat directament amb el desenvolupament d'aquesta tesi. Un agraïment molt especial al David Sánchez, per haver-me ajudat amb la implementació de la tesi, però sobretot pel seu entusiasme en tot moment. També a l'Esther Guerra i al Juan de Lara, per permetre'm ampliar la visió del meu propi treball aplicant-lo a d'altres camps.També vull donar les gràcies als examinadors d'aquesta tesi: el Dr. Antoni Olivé i a la Dra. Ruth Raventós, de la Universitat Politècnica de Catalunya (UPC), al Dr. Robert Clarisó, de la Universitat Oberta de Catalunya (UOC), al Dr. Vicente Pelechano, de la Universitat Politècnica de València (UPV) i al Dr. Manuel Wimmer, de la Vienna University of Technology (TUWien) per acceptar formar part del tribunal. També, als revisors externs que van llegir una versió prèvia d'aquesta tesi i em van fer arribar els seus suggeriments per millorar-la.A tots els meus companys del Grup de Modelització Conceptual (GMC): Gràcies pels vostres comentaris i consells al llarg del desenvolupament d'aquesta tesi. Un agraïment especial a l'Antonio Villegas i al David Aguilera, per proporcionar-me la plantilla d'aquesta tesi i resoldre els meus dubtes de L A T E X amb una rapidesa increïble.A tots els companys i amics dels estudis d'Informàtica, Multimèdia i Telecomunicació de la UOC. Al Josep Prieto, per donar-me totes les facilitats per poder acabar aquesta tesi. Al Santi Caballé i a l'Elena Rodríguez, per haver-se fet càrrec de les meves assignatures mentre jo he estat redactant aquest document. Als meus companys de despatx, el David Bañeres i el Jordi Conesa, pels moments compartits al llarg de tots aquests anys. A l'Àgata Lapedriza, l'Àngels Rius, i tants d'altres, per formar part del meu dia dia.A very special acknowledgment (in english) to all my dutch collegues from the Software Engineering and Technology group (SET) at the Eindhoven Unive...

show abstract

Section: Verification Of M2m Transformationsmentioning

confidence: 99%

Lightweight and static verification of UML executable models

Planas

Cabot

Gómez

2016

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

show abstract

“…Also, the work in [23] analyse the execution traces between the source and target models in order to find errors, and in [24] a white-box test model generation approach for testing the transformations is proposed. In this context, Tracts [25] are a complementary approach that establishes contracts between the source and target metamodels which define the transformation specification.…”

Section: B Testing and Verifying Model Transformationsmentioning

confidence: 99%

Employing classifying terms for testing model transformations

Gogolla

Vallecillo

Burgueño

et al. 2015

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)

Self Cite

View full text Add to dashboard Cite

Abstract-This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models for class models enriched by OCL constraints. By guiding the construction process through so-called classifying terms, the built test cases in form of object models are classified into equivalence classes. A classifying term can be an arbitrary OCL term on the class model that calculates for an object model a characteristic value. From each equivalence class of object models with identical characteristic values one representative is chosen. The constructed test cases behave significantly different with regard to the selected classifying term. By building few diverse object models, properties of the UML and OCL model can be explored effectively. The technique is applied for automatically constructing relevant source model test cases for model transformations between a source and target metamodel.

show abstract

“…In order to check that a given M2T transformation fulfils a set of constraints (such as the ones shown in Section 4.1), we run the transformation with the set of models defined by the tract test suite (these input models have not been shown before for the sake of simplicity) and then use the injector with the output text (organized in folders) resulting from the transformation to generate the corresponding output models conforming to the Text metamodel. Then we are in a position to check the validity of the constraints as in the case of tracts defined for M2M transformations, with our TractsTool [26]. The TractsTool evaluates the defined constraints on the source and target models by a transparent translation to the USE tool [11].…”

Section: Tool Supportmentioning

confidence: 99%

“…As a response, a plethora of approaches ranging from lightweight certification to full verification have been proposed to reason about different kinds of properties of M2M transformations [1,26]. However, as mentioned before, transformations involving text on one side have not been extensively studied.…”

Section: Related Workmentioning

confidence: 99%

“…Much effort has been put into the establishment of model-to-model (M2M) transformation testing techniques in the past years [1,26]. Several approaches have been developed for defining contracts for M2M transformations that act as specifications for model transformation implementations [5,12], as oracle functions to validate the output of transformations [12,13], and as drivers for generating test cases [13].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Testing M2T/T2M Transformations

Wimmer

Burgueño

2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T2M) transformations, from being properly tested since adequate model representations are missing either for the input domain or for the output domain. The contribution of this paper to overcome this gap is extending Tracts [12], a M2M transformation testing approach, for M2T/T2M transformation testing. The main mechanism we employ for reusing Tracts is to represent text within a generic metamodel. By this, we transform the M2T/T2M transformation specification problems into equivalent M2M transformation specification problems. We demonstrate the applicability of the approach by two examples and present how the approach is implemented for the Eclipse Modeling Framework (EMF). Finally, we apply the approach to evaluate code generation capabilities of several existing UML tools.

show abstract

Formal Specification and Testing of Model Transformations

Cited by 40 publications

References 42 publications

Lightweight and static verification of UML executable models

Lightweight and static verification of UML executable models

Employing classifying terms for testing model transformations

Testing M2T/T2M Transformations

Contact Info

Product

Resources

About