More Web Proxy on the site http://driver.im/

Article

Testing Metamodels

Authors:

Daniel A. Sadilek,

Stephan WeißlederAuthors Info & Claims

ECMDA-FA '08: Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications

Pages 294 - 309

https://doi.org/10.1007/978-3-540-69100-6_20

Published: 09 June 2008 Publication History

Abstract

In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. Other artifacts like models or tools are based on them and have to be changed if the metamodel is changed. Consequently, correcting errors in a metamodel can be quite expensive as dependent artifacts have to be adapted to the corrected metamodel. We argue that metamodels should be tested systematically with automated tests. We present a corresponding approach that allows automated metamodel testing based on a test specification. From a test specification, multiple test models can be derived. Each test model defines a potential instance of the metamodel under test. A positive test model defines a potential instance that should be an actual instance of the metamodel; a negative test model defines one that should not. We exemplify our approach with a metamodel for defining a company's structure. Finally, we present MMUnit , an implementation of our approach that builds on the Eclipse platform and integrates the JUnit framework. MMUnit allows to test EMF-based metamodels, which can contain additional constraints, e.g. constraints expressed in OCL.

References

[1]

Miller, J., Mukerji, J.: MDA Guide Version 1.0.1. Technical report, Object Management Group (OMG) (2003).

[2]

Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification (2006).

[3]

Beck, K.: Test Driven Development: By Example. Addison-Wesley Professional, Reading (2002).

[4]

Beizer, B.: Software Testing Techniques. JohnWiley & Sons, Inc, Chichester (1990).

[5]

Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2006).

[6]

Sourceforge: JUnit (2008), http://junit.sourceforge.net

[7]

Abdurazik, A., Offutt, J.: Using UML Collaboration Diagrams for Static Checking and Test Generation. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939. Springer, Heidelberg (2000).

[8]

Nebut, C., Fleurey, F.: Automatic test generation: A use case driven approach. IEEE Trans. Softw. Eng. 32(3), 140-155 (2006).

[9]

Offutt, J., Abdurazik, A.: Generating Tests from UML Specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723. Springer, Heidelberg (1999).

[10]

Prenninger, W., Pretschner, A.: Abstractions for Model-Based Testing. Electr. Notes Theor. Comput. Sci. 116, 59-71 (2005).

[11]

Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling V5(3), 233-259 (2006).

[12]

Wang, J., Kim, S.K., Carrington, D.: Verifying metamodel coverage of model transformations. In: ASWEC 2006 (2006).

[13]

Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: ISSRE 2006: Proceedings of the 17th International Symposium on Software Reliability Engineering, Washington, DC, USA, pp. 85-94. IEEE Computer Society, Los Alamitos (2006).

[14]

Purdom, P.: A sentence generator for testing parsers. bit 12(3), 366-375 (1972).

[15]

Lämmel, R.: Grammar adaptation. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 550-570. Springer, Heidelberg (2001).

[16]

Eclipse Foundation: Eclipse (2008), http://www.eclipse.org

[17]

Eichler, H., Sadilek, D.A., Scheidgen,M., Soden, M., Wachsmuth, G., Weißleder, S.: Frameworks to create language definitions and tools on top of the eclipse modelling project (poster). In: EclipseCon 2008 (2008).

[18]

NUnit.org: NUnit (2008), http://www.nunit.org

[19]

Favre, J.M.: Meta-model and model co-evolution within the 3D software space. In: ELISA 2003, pp. 98-109 (2003).

[20]

Andrews, A.A., France, R.B., Ghosh, S., Craig, G.: Test adequacy criteria for uml design models. Softw. Test., Verif. Reliab. (2003).

Cited By

Zayan DSarkar AAntkiewicz MMaciel RCzarnecki K(2019)Example-driven modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0652-318:3(2213-2239)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0652-3
Guerra Ede Lara JWąsowski APaige RHaugen Ø(2018)On the Quest for Flexible ModellingProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239376(23-33)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239376
Batot ESahraoui HBaudry BCombemale BKienzle JPretschner A(2016)A generic framework for model-set selection for the unification of testing and learning MDE tasksProceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems10.1145/2976767.2976785(374-384)Online publication date: 2-Oct-2016
https://dl.acm.org/doi/10.1145/2976767.2976785
Show More Cited By

Recommendations

Semi-automatic generation of metamodels from model sketches
ASE '13: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering

Traditionally, metamodeling is an upfront activity performed by experts for defining modeling languages. Modeling tools then typically restrict modelers to using only constructs defined in the metamodel. This is inappropriate when users want to sketch ...
Towards a comparative analysis of meta-metamodels
SPLASH '11 Workshops: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11

A cornerstone in Domain-Specific Modeling is the definition of modeling languages. A widely used method to formalize domain-specific languages is the metamodeling approach. There are a huge number of metamodeling languages. The choice of a suitable ...
Managing the Coupled Evolution of Metamodels and Textual Concrete Syntax Specifications
SEAA '13: Proceedings of the 2013 39th Euromicro Conference on Software Engineering and Advanced Applications

In the context of Model Driven Engineering (MDE) the definition of a Domain Specific Modeling Language (DSML) consists of a set of coordinated artifacts specifying the abstract and concrete syntax of the language, and possibly further aspects related to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

ECMDA-FA '08: Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications

June 2008

443 pages

ISBN:9783540690955

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 09 June 2008

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zayan DSarkar AAntkiewicz MMaciel RCzarnecki K(2019)Example-driven modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0652-318:3(2213-2239)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0652-3
Guerra Ede Lara JWąsowski APaige RHaugen Ø(2018)On the Quest for Flexible ModellingProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239376(23-33)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239376
Batot ESahraoui HBaudry BCombemale BKienzle JPretschner A(2016)A generic framework for model-set selection for the unification of testing and learning MDE tasksProceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems10.1145/2976767.2976785(374-384)Online publication date: 2-Oct-2016
https://dl.acm.org/doi/10.1145/2976767.2976785
López-Fernández JGuerra Ede Lara J(2016)Combining unit and specification-based testing for meta-model validation and verificationInformation Systems10.1016/j.is.2016.06.00862:C(104-135)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1016/j.is.2016.06.008
López-Fernández JGuerra Ede Lara JPaige RDi Ruscio DVölter M(2015)Example-based validation of domain-specific visual languagesProceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering10.1145/2814251.2814256(101-112)Online publication date: 26-Oct-2015
https://dl.acm.org/doi/10.1145/2814251.2814256
López-Fernández JGuerra Ede Lara JCrnkovic IChechik MGrünbacher P(2014)Meta-Model validation and verification with MetaBestProceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering10.1145/2642937.2648617(831-834)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2642937.2648617
Bąk KZayan DCzarnecki KAntkiewicz MDiskin ZWąsowski ARayside DNotkin DCheng BPohl K(2013)Example-driven modeling: model = abstractions + examplesProceedings of the 2013 International Conference on Software Engineering10.5555/2486788.2486982(1273-1276)Online publication date: 18-May-2013
https://dl.acm.org/doi/10.5555/2486788.2486982

View Options

View options

Media

Figures

Other

Tables

View Table of Contents