Eduard Bauer, Jochen Kuester. Combining Specification-based and Code-based Coverage for Model Transformation Chains. In Jordi Cabot, Eelco Visser, editors, Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings. Volume 6707 of Lecture Notes in Computer Science, pages 78-92, Springer, 2011.
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 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.