Skip to main content
SpringerLink
Log in

Combining Specification-Based and Code-Based Coverage for Model Transformation Chains

  • Conference paper
Theory and Practice of Model Transformations (ICMT 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6707))

Abstract

For testing model transformations or model transformation chains, a software engineer usually designs a test suite consisting of test cases where each test case consists of one or several models. In order to ensure a high quality of such a test suite, coverage achieved by test cases with regards to the system under test must be systematically measured. Specification-based or code-based coverage can be measured, which leads to the question of how these two approaches are related. In this paper, we investigate the relation between specification- and code-based coverage analysis for model transformation chains and show how such a relation can be established. Based on this, we propose several usage scenarios of such a relation which include identification of code relevant for parts of a given specification and vice versa.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. IBM WebSphere Business Modeler, http://www.ibm.com/software/integration/wbimodeler/

  2. Allen, F.E.: Control flow analysis. SIGPLAN Not. 5, 1–19 (1970)

    Article  Google Scholar 

  3. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, New York (2008)

    Book  Google Scholar 

  4. Andrews, A., France, R., Ghosh, S., Craig, G.: Test Adequacy Criteria for UML Design Models. Software Testing, Verification and Reliability 13(2), 95–127 (2003)

    Article  Google Scholar 

  5. Bauer, E., Küster, J.M., Engels, G.: Test Suite Quality for Model Transformation Chains. IBM Research Report RZ 3797, IBM Zurich Research Laboratory (Feburary 2011)

    Google Scholar 

  6. Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models. In: ASE 2002: 17th IEEE International Conference on Automated Software Engineering, pp. 267–270. IEEE Computer Society, Los Alamitos (2002)

    Google Scholar 

  7. Czarnecki, K., Helsen, S.: Feature-based Survey of Model Transformation Approaches. IBM Systems Journal 45(3), 621–645 (2006)

    Article  Google Scholar 

  8. Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the Specification of Model Transformation Contracts. In: Workshop OCL and Model Driven Engineering of the Seventh International Conference on UML Modeling Language and Applications (UML 2004)

    Google Scholar 

  9. Fleurey, F., Baudry, B., Le Muller, Y., Traon, P.: Qualifying Input Test Data for Model Transformations. Software and Systems Modeling 8(2), 185–203 (2009)

    Article  Google Scholar 

  10. Object Management Group. MOF 2.0 Query / Views / Transformations RFP (December 2009)

    Google Scholar 

  11. Harrold, M.J., Gupta, R., Soffa, M.L.: A Methodology for Controlling the Size of a Test Suite. ACM Transactions on Software Engineering and Methodology 2(3), 270–285 (1993)

    Article  Google Scholar 

  12. Hennessy, M., Power, J.: An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for Grammar-based Software. In: ASE 2005: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, pp. 104–113. ACM Press, New York (2005)

    Google Scholar 

  13. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A Model Transformation Tool. Science of Computer Programming 72(1-2), 31–39 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  14. Küster, J.M., Gerth, C., Förster, A., Engels, G.: Detecting and Resolving Process Model Differences in the Absence of a Change Log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 244–260. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  15. Mathur, A., Wong, E.: An Empirical Comparison of Data Flow and Mutation-based Test Adequacy Criteria. Software Testing, Verification and Reliability 4(1), 9–31 (1994)

    Article  Google Scholar 

  16. McQuillan, J., Power, J.: White-Box Coverage Criteria for Model Transformations. In: Proceedings 1st International Workshop on Model Transformation with ATL, Nantes, France(2009)

    Google Scholar 

  17. Meyer, B.: Applying ”Design by Contract”. Computer 25(10), 40–51 (1992)

    Article  Google Scholar 

  18. Object Management Group (OMG). Business Process Modeling Notation, V1.1 (January 2008)

    Google Scholar 

  19. Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  20. von Pilgrim, J., Vanhooff, B., Schulz-Gerlach, I., Berbers, Y.: Constructing and Visualizing Transformation Chains. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 17–32. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Research Zurich, Säumerstr. 4, 8803, Rüschlikon, Switzerland

    Eduard Bauer & Jochen M. Küster

Authors
  1. Eduard Bauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jochen M. Küster
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. École des Mines de Nantes France, 44307, Nantes, France

    Jordi Cabot

  2. Delft University of Technology, 2628 CD, Delft, The Netherlands

    Eelco Visser

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bauer, E., Küster, J.M. (2011). Combining Specification-Based and Code-Based Coverage for Model Transformation Chains. In: Cabot, J., Visser, E. (eds) Theory and Practice of Model Transformations. ICMT 2011. Lecture Notes in Computer Science, vol 6707. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21732-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21732-6_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21731-9

  • Online ISBN: 978-3-642-21732-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation