nach oben

Innovations in Systems and Software Engineering

Erschienen in:

01.03.2014 | SI: QUATIC 2010

Testing operational transformations in model-driven engineering

verfasst von: Andrea Ciancone, Antonio Filieri, Raffaela Mirandola

Erschienen in: Innovations in Systems and Software Engineering | Ausgabe 1/2014

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Model-driven development is gaining importance in software engineering practice. This increasing usage asks for a new generation of testing tools to verify correctness and suitability of model transformations. This paper presents a novel approach to unit testing QVT operational (QVTO) transformations, which overcomes limitations of currently available tools. Our proposal, called MANTra (Model trANsformation Testing), allows software developers to design test cases directly within the QVTO language and verify them without moving from the transformation environment. MANTra is also available as an eclipse feature that can be easily integrated into established development practice.

Vorheriger Artikel Investigating the evolution of code smells in object-oriented systems

Nächster Artikel Applying grounded theory to understand software process improvement implementation: a study of Brazilian software organizations

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Baudry B, Dinh-Trong T, Mottu J, Simmonds D, France R, Ghosh S, Fleurey F, Le Traon Y (2006) Model transformation testing challenges. In: Proceedings of IMDT workshop in conjunction with ECMDA’06.

Becker S, Koziolek H, Reussner R (2009) The palladio component model for model-driven performance prediction. J Syst Softw 82(1):3–22 (special issue: Software performance—modeling and analysis)

Ciancone A (2010) jomot framework

Ciancone A, Filieri A (2010) Mantra website. http://aciancone.inscatolati.net/prj/MANTra/. Accessed 30 June 2011

Community A (1997) The alloy analyzer. http://alloy.mit.edu/. Accessed 30 June 2011

Consortium QI (2009) Project website. http://www.q-impress.eu. Accessed 30 June 2011

EMF (2009) Eclipse modeling framework, 2nd edn. Addison-Wesley Longman, Amsterdam

Fleurey F, Steel J, Baudry B (2004) Validation in model-driven engineering: testing model transformations. In: First international workshop on model design and validation, pp 29–40

The Eclipse Foundation (2004) Project website. http://www.eclipse.org. Accessed 30 June 2011

10.

France R, Rumpe B (2007) Model-driven development of complex software: A research roadmap. In: Proceedings of future of software engineering FOSE ’07, pp 37–54. doi:10.1109/FOSE.2007.14

11.

Grassi V, Mirandola R, Randazzo E, Sabetta A (2007) Klaper: an intermediate language for model-driven predictive analysis of performance and reliability. The common component modeling example, pp 327–356

12.

The OMG (2008) Qvt 1.0 specification. http://www.omg.org/spec/QVT/1.0/. Accessed 30 June 2011

13.

Harrold MJ (2000) Testing: a roadmap. In: In the future of software engineering. ACM Press, New York, pp 61–72

14.

Lin Y, Zhang J, Gray J (2004) Model comparison: a key challenge for transformation testing and version control in model driven software development. In: Control in model driven software development. OOPSLA/GPCE: best practices for model-driven software development. Springer, Berlin, pp 219–236

15.

Lin Y, Zhang J, Gray J (2005) A testing framework for model transformations. In: Model-driven software development—research and practice in software engineering. Springer, New York, pp 219–236

16.

Martens A, Koziolek H, Becker S, Reussner R (2010) Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms. In: Proceedings of 1st joint WOSP/SIPEW international conference on performance engineering (WOSP/SIPEW’10). ACM, New York, pp 105–116. doi:10.1145/1712605.1712624

17.

Mcgill MJ, Cheng BHC (2007) Test-driven development of a model transformation with jemtte

18.

Sen S, Baudry B, Mottu JM (2008) On combining multi-formalism knowledge to select models for model transformation testing. In: 1st international conference on software testing, verification, and validation, pp 328–337

19.

Wang J, Kim SK, Carrington D (2008) Automatic generation of test models for model transformations. In: ASWEC ’08: Proceedings of the 19th Australian conference on software engineering. IEEE Computer Society, Washington, DC, pp 432–440

20.

Zhang M, Hall T, Baddoo N (2011) Code bad smells: a review of current knowledge. J Softw Maint Evol Res Pract 23(3):179–202CrossRef

Titel: Testing operational transformations in model-driven engineering
verfasst von: Andrea Ciancone
Antonio Filieri
Raffaela Mirandola
Publikationsdatum: 01.03.2014
Verlag: Springer London
Erschienen in: Innovations in Systems and Software Engineering / Ausgabe 1/2014
Print ISSN: 1614-5046
Elektronische ISSN: 1614-5054
DOI: https://doi.org/10.1007/s11334-013-0208-9

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 1/2014

Investigating the evolution of code smells in object-oriented systems

Applying grounded theory to understand software process improvement implementation: a study of Brazilian software organizations

Web-GIS models: accomplishing modularity with aspects

The DynaRIA tool for the comprehension of Ajax web applications by dynamic analysis

Introduction to Special Issue: Quality in Information and Communications Technology

Premium Partner