Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Software and Systems Modeling
Published in: Software and Systems Modeling 3/2018

09-12-2016 | Special Section Paper

Testing models and model transformations using classifying terms

Authors: Frank Hilken, Martin Gogolla, Loli Burgueño, Antonio Vallecillo

Published in: Software and Systems Modeling | Issue 3/2018

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of classifying terms, which are general OCL terms on a class model enriched with OCL constraints. Classifying terms permit defining equivalence classes, in particular for partitioning the source and target model spaces of the transformation, defining for each class a set of equivalent models with regard to the transformation. Using these classes, a model validator tool is able to automatically construct object models for each class, which constitute relevant test cases for the transformation. We show how this approach of guiding the construction of test cases in an orderly, systematic and efficient manner can be effectively used in combination with Tracts for testing both directional and bidirectional model transformations and for analyzing their behavior.
previous article Model-based simulation of legal policies: framework, tool support, and validation
next article Multi-purpose, multi-level feature modeling of large-scale industrial software systems

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
Footnotes
2
The required files for the experiments and their results are available online. http://​www.​db.​informatik.​uni-bremen.​de/​publications/​intern/​ct2016-experiments.​zip.
 
Literature
1.
Amrani, M., Syriani, E., Wimmer, M. (eds.): Proceedings of the VOLT WS, CEUR WS, vol. 1325 (2014)
2.
Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to alloy. Softw. Syst. Model. 9(1), 69–86 (2010)CrossRef
3.
Andrews, A.A., France, R., Ghosh, S., Craig, G.: Test adequacy criteria for UML design models. Softw. Test. Verif. Reliab. 13, 95–127 (2003)CrossRef
4.
Aranega, V., Mottu, J.M., Etien, A., Dekeyser, J.L.: Traceability mechanism for error localization in model transformation. In: Proceedings of ICSOFT’09 (2009)
5.
Arisholm, E., Sjøberg, D.I.: Evaluating the effect of a delegated versus centralized control style on the maintainability of object-oriented software. IEEE Trans. Softw. Eng. 30(8), 521–534 (2004)CrossRef
6.
Baudry, B., Dinh-Trong, T., Mottu, J., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le Traon, Y.: Model transformation testing challenges. In: ECMDA WS. on Integration of MDD and Model Driven Testing (2006)
7.
Burgueño, L., Wimmer, M., Troya, J., Vallecillo, A.: Tractstool: Testing model transformations based on contracts. In: Joint Proceedings of MODELS’13 Demos, Posters, Student Research Competition, CEUR Workshop Proceedings, vol. 1115, pp. 76–80. CEUR-WS.org (2013)
8.
Burgueño, L., Wimmer, M., Troya, J., Vallecillo, A.: Static fault localization in model transformations. IEEE Trans. Softw. Eng. 41(5), 490–506 (2015)CrossRef
9.
Burnstein, I.: Practical Software Testing. Springer, New York (2003)MATH
10.
Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. In: Proceedings of ASE’07, pp. 547–548. ACM (2007)
11.
Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Proceedings of the OCL and Model Driven Engineering Workshop (2004)
12.
Ciancone, A., Filieri, A., Mirandola, R.: MANTra: Towards model transformation testing. In: IEEE Proceedings of QUATIC’10, pp. 97–105 (2010)
13.
Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: JTL: a bidirectional and change propagating transformation language. In: Proceedings of SLE’10, no. 6563 in LNCS, pp. 183–202. Springer (2011). http://​jtl.​di.​univaq.​it/​
14.
Czarnecki, K., Foster, J.N., Hu, Z., Lämmel, R., Schürr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. In: Proceedings of ICMT 2009, no. 5563 in LNCS, pp. 260–283. Springer (2009)
15.
Dingel, J., de Lara, J., Lucio, L., Vangheluwe, H. (eds.): Proceedings of the AMT WS., CEUR WS. Proc., vol. 1277 (2014)
16.
Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: Proceedings of MODELS’11, LNCS, vol. 6981, pp. 304–318. Springer (2011)
17.
Diskin, Z.: Algebraic models for bidirectional model synchronization. In: Proceedings of MODELS’08, LNCS, vol. 5301, pp. 21–36. Springer (2008)
18.
Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: the asymmetric case. J. Object Technol. 10(6), 1–25 (2011)
19.
Ehrig, K., Küster, J.M., Taentzer, G.: Generating instance models from meta models. Softw. Syst. Model. 8, 479–500 (2009)CrossRef
20.
Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3) (2007)
21.
Foster, N., Pilkiewicz, A., Pierce, B.C.: Quotient lenses. SIGPLAN Not. 43(9), 383–396 (2008)CrossRefMATH
22.
Gabmeyer, S., Brosch, P., Seidl, M.: A classification of model checking-based verification approaches for software models. In: Proceedings of the 1st VOLT Workshop (2013)
23.
García-Domínguez, A., Kolovos, D.S., Rose, L.M., Paige, R.F., Medina-Bulo, I.: EUnit: a unit testing framework for model management tasks. In: Proceedings of MODELS’11, no. 6981 in LNCS, pp. 395–409. Springer (2011)
24.
Giner, P., Pelechano, V.: Test-driven development of model transformations. In: Proceedings of MODELS’09, LNCS, vol. 5795, pp. 748–752. Springer (2009)
25.
Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, independence and consequences in UML and OCL models. In: Proceedings of TAP’09, LNCS, vol. 5668, pp. 90–104. Springer (2009)
26.
Gogolla, M., Vallecillo, A., Burgueño, L., Hilken, F.: Employing classifying terms for testing model transformations. In: IEEE Proceedings of MODELS’15, pp. 312–321 (2015)
27.
Gogolla, M., Vallecillo, A.: Tractable model transformation testing. In: Proceedings of ECMFA’11, no. 6698 in LNCS, pp. 221–236. Springer (2011)
28.
Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Softw. Syst. Model. 4(4), 386–398 (2005)CrossRef
29.
González, C.A., Cabot, J.: ATLTest: a white-box test generation approach for ATL transformations. In: Proceedings of MODELS’12, LNCS, vol. 7590, pp. 449–464. Springer (2012)
30.
González, C.A., Cabot, J.: Test data generation for model transformations combining partition and constraint analysis. In: Proceedings of ICMT’14, LNCS, vol. 8568, pp. 25–41. Springer (2014)
31.
Grindal, M., Offutt, J., Andler, S.F.: Combination testing strategies: a survey. Softw. Test. Verif. Reliab. 15(3), 167–199 (2005)CrossRef
32.
33.
Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., Santos, O.: Engineering model transformations with transML. Softw. Syst. Model. 12(3), 555–577 (2013)CrossRef
34.
Guerra, E., de Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W.: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng. 20(1), 5–46 (2013)CrossRef
35.
Hibberd, M., Lawley, M., Raymond, K.: Forensic debugging of model transformations. In: Proceedings of MODELS’07, LNCS, vol. 4735, pp. 589–604. Springer (2007)
36.
Hilken, F., Burgueño, L., Gogolla, M., Vallecillo, A.: Iterative development of transformation models by using classifying terms. In: Proceedings of AMT’15, CEUR Workshop Proceedings, vol. 1500, pp. 1–6. CEUR-WS.org (2015)
37.
Höst, M., Regnell, B., Wohlin, C.: Using students as subjects–a comparative study of students and professionals in lead-time impact assessment. Empir. Softw. Eng. 5, 201–214 (2000)CrossRefMATH
38.
Hu, Z., Mu, S., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. High. Order Symb. Comput. 21(1–2), 89–118 (2008)CrossRefMATH
39.
ISO/IEC 25010:2011: Systems and software engineering—systems and software quality requirements and evaluation (SQuaRE)—system and software quality models. In: ISO/IEC (2011)
40.
ISO/IEC 25022:2016: Systems and software engineering–systems and software quality requirements and evaluation (SQuaRE)–measurement of quality in use. In: ISO/IEC (2011)
41.
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
42.
43.
Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: Model Driven Engineering Languages and Systems, LNCS, vol. 7590, pp. 415–431. Springer (2012)
44.
Lämmel, R.: Coupled software transformations (extended abstract). In: First International Workshop on Software Evolution Transformations (2004)
45.
Meyer, B.: Applying design by contract. IEEE Comput. 25(10), 40–51 (1992)CrossRef
46.
Mu, S.C., Hu, Z., Takeichi, M.: An algebraic approach to bi-directional updating. In: Proceedings of APLAS 2004, no. 3302 in LNCS, pp. 2–18. Springer (2004)
47.
Offutt, J., Irvine, A.: Testing object-oriented software using the category-partition method. In: Proceedings of TOOLS USA’95, pp. 293–304 (1995)
48.
49.
OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation. Version 1.2. Object Management Group (2015)
50.
51.
Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-lite: finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73, 1–22 (2012)CrossRef
52.
Roldán, M., Durán, F.: Dynamic Validation of OCL Constraints with mOdCL. ECEASST 44 (2011)
53.
Stevens, P.: A landscape of bidirectional model transformations. In: Proceedings of GTTSE’07, no. 5235 in LNCS, pp. 408–424. Springer (2007)
54.
Stevens, P.: Observations relating to the equivalences induced on model sets by bidirectional transformations. ECEASST 49 (2012)
55.
Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7–20 (2010)MathSciNetCrossRef
56.
Stevens, P.: A simple game-theoretic approach to checkonly QVT relations. Softw. Syst. Model. 12(1), 175–199 (2013)CrossRef
57.
Straeten, R.V.D., Puissant, J.P., Mens, T.: Assessing the Kodkod model finder for resolving model inconsistencies. In: ECMFA, LNCS, vol. 6698, pp. 69–84. Springer (2011)
58.
Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Proceedings of TACAS’07, pp. LNCS 4424, 632–647 (2007)
59.
Vallecillo, A., Gogolla, M., Burgueño, L., Wimmer, M., Hamann, L.: Formal specification and testing of model transformations. In: Formal Methods for Model-Driven Engineering (SFM). Springer (2012)
60.
Wimmer, M., Kappel, G., Schönböck, J., Kusel, A., Retschitzegger, W., Schwinger, W.: A Petri Net based debugging environment for QVT Relations. In: Proceedings of ASE’09 (2009)
61.
Wohlin, C., Runeson, P., Höst, M., Ohlsson, M.C., Regnell, B., Wesslén, A.: Experimentation in Software Engineering. Springer, New York (2012)CrossRefMATH
62.
Yue, T., Ali, S.: Empirically evaluating OCL and Java for specifying constraints on UML models. Softw. Syst. Model. 15(3), 757–781 (2016)CrossRef
Metadata
Title
Testing models and model transformations using classifying terms
Authors
Frank Hilken
Martin Gogolla
Loli Burgueño
Antonio Vallecillo
Publication date
09-12-2016
Publisher
Springer Berlin Heidelberg
Published in
Software and Systems Modeling / Issue 3/2018
Print ISSN: 1619-1366
Electronic ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-016-0568-3

Other articles of this Issue 3/2018

Software and Systems Modeling 3/2018 Go to the issue

Special Section Paper

Configuring use case models in product families

Regular Paper

Case-based exploration of bidirectional transformations in QVT Relations

Special Section Paper

A framework for relating syntactic and semantic model differences

Special Section Paper

Modeling context-aware and intention-aware in-car infotainment systems

Special Section Paper

Model-based simulation of legal policies: framework, tool support, and validation

Editorial

Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS’15)

Premium Partner

    Image Credits