Journal of Computer Science

Evaluation of Test Case Generation based on a Software Product Line for Model Transformation

Alexandre Augusto Giron, Itana Maria de Souza Gimenes and Edson OliveiraJr

DOI : 10.3844/jcssp.2018.108.121

Journal of Computer Science

Volume 14, Issue 1

Pages 108-121


Model-Driven Engineering (MDE) supports model evolution and refinement by means of model transformations at several abstraction levels. Validating these transformations is essential to ensure the quality and correctness of such models. However, MDE transformations become more complex to validate, for example, when they are implemented in different languages. One particular example is the transformation of the SyMPLES approach. SyMPLES is a development approach for embedded systems, which is based on concepts of both Software Product Lines (SPL) and MDE. SyMPLES has a model transformation process which creates Simulink models from SysML models. This paper presents a case study which applies test case generation based on SPL to validate this model transformation. An SPL was used to generate a set of test cases based on coverage criteria. The results showed that the test cases generated uncovered errors in the transformation of SyMPLES. In addition, a comparison with the test case generation based on metamodel is presented, in order to analyze the effectiveness of the techniques. The coverage criteria made it possible to reduce the number of test cases generated, thus minimizing test effort and time.


© 2018 Alexandre Augusto Giron, Itana Maria de Souza Gimenes and Edson OliveiraJr. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.