Case Study of Test Case Generation Based on Metamodel for Model Transformations

Abstract

Abstract:The validation of transformations in the Model-Driven Engineering (MDE) context is important to ensure the quality and correctness of the models. The validation of MDE transformation is burdensome due to both the complexity of the models and the variety of languages that implement them. A test case generation technique can be applied to support the validation process; however, it is challenging because of the size of the test cases set. This paper presents a case study which applies test case generation based on the SysML metamodel for MDE. A development approach for embedded systems, named SyMPLES, was applied. This approach transforms SysML models to Simulink. Two policies were evaluated in the test case generation based on the SysML metamodel. Moreover, a set of strategies and coverage criteria were applied in order to reduce the set of test cases generated and evaluate its effectiveness. The results showed that relevant errors were identified in the model transformation. The use of generation policies also improve the effectiveness of the test case set generated.

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

“…A previous work tackled the validation concern of the SyMPLES model transformation using a metamodelbased test case generation technique (Giron et al, 2017).…”

“…In a previous published work (Giron et al, 2017), the model transformation of the SyMPLES was tested using test case generation from the SysML metamodel. Now, another objective in this study is to compare the results with the previous publication.…”

Variability Resolution and Product Configuration with SMarty: An Experimental Study on UML Class Diagrams

“…We have already successfully applied the effectiveness measure in Geraldi and OliveiraJr (2017;Giron et al, 2017;Marcolino et al, 2013;2014a;2014b). This paper is structured according to several sections.…”