摘要：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.
