Model Transformation Impact on Test Artifacts: An Empirical Study

9th Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE (MoDeVVA 2012),
Sept 2012, Innsbruck, Austria.

Anders Eriksson, Birgitta Lindstrom, Sten Andler, and Jeff Offutt

Abstract

Development environments that support Model-Driven Development often focus on model-level functional testing, enabling verification of design models against their specifications. However, developers of safety-critical software systems are also required to show that tests cover the structure of the implementation. Unfortunately, the implementation structure can diverge from the model depending on choices such as the model compiler or target language. Therefore, structural coverage at the model level may not guarantee coverage of the implementation.



Back to my home page.