文章基本信息

标题：Case Study of Test Case Generation Based on Metamodel for Model Transformations
本地全文：下载
作者：Alexandre Augusto Giron ; Itana Maria de Souza Gimenes ; Edson OliveiraJr 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2017
卷号：12
期号：5
页码：364-378
DOI：10.17706/jsw.12.5.364-378
出版社：Academy Publisher
摘要：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.
其他关键词：MDE, test case generation, sysml metamodel.