Research Article Open Access

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

Alexandre Augusto Giron1, Itana Maria de Souza Gimenes2 and Edson OliveiraJr3
  • 1 Federal University of Technology, Brazil
  • 2 State University of Maringá , Brazil
  • 3 State University of Maringá, Brazil


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.

Journal of Computer Science
Volume 14 No. 1, 2018, 108-121


Submitted On: 31 October 2017 Published On: 22 January 2018

How to Cite: Giron, A. A., Gimenes, I. M. S. & OliveiraJr, E. (2018). Evaluation of Test Case Generation based on a Software Product Line for Model Transformation. Journal of Computer Science, 14(1), 108-121.

  • 8 Citations



  • MDE Validation
  • Software Product Line
  • Embedded Systems