JSW 2017 Vol.12(5): 364-378 ISSN: 1796-217X
doi: 10.17706/jsw.12.5.364-378
doi: 10.17706/jsw.12.5.364-378
Case Study of Test Case Generation Based on Metamodel for Model Transformations
Alexandre Augusto Giron1*, Itana Maria de Souza Gimenes2, Edson OliveiraJr2
1Federal University of Technology – Parana, Toledo-PR, Brazil.
2Universidade Estadual de Maringá, Maringa-PR, Brazil.
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.
Index Terms—MDE, test case generation, sysml metamodel.
2Universidade Estadual de Maringá, Maringa-PR, Brazil.
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.
Index Terms—MDE, test case generation, sysml metamodel.
Cite: Alexandre Augusto Giron, Itana Maria de Souza Gimenes, Edson OliveiraJr, "Case Study of Test Case Generation Based on Metamodel for Model Transformations," Journal of Software vol. 12, no. 5, pp. 364-378, 2017.
General Information
ISSN: 1796-217X (Online)
Frequency: Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKI, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
-
Mar 01, 2024 News!
Vol 19, No 1 has been published with online version [Click]
-
Jan 04, 2024 News!
JSW will adopt Article-by-Article Work Flow
-
Apr 01, 2024 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Apr 01, 2024 News!
Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP [Click]
-
Nov 02, 2023 News!
Vol 18, No 4 has been published with online version [Click]