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

• Published in: Theory and Practice of Model Transformations Vol. 6707; pp. 78 - 92
• Main Authors: Bauer, Eduard, Küster, Jochen M.
• Format: Book Chapter
• Language: English
• Published: Germany Springer Berlin / Heidelberg 2011; Springer Berlin Heidelberg
• Series: Lecture Notes in Computer Science
• Subjects: Coverage Information; Coverage Level; Model Transformation; Object Constraint Language; Test Suite
• ISBN: 3642217311; 9783642217319
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-642-21732-6_6

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.