Validação de transformações de modelos complexas

• Ano de defesa: 2015
• Autor(a) principal: Giron, Alexandre Augusto
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Estadual de Maringá; Brasil; Departamento de Informática; Programa de Pós-Graduação em Ciência da Computação; UEM; Maringá, PR; Centro de Tecnologia
• Palavras-chave em Português: Sistemas embarcados; Transformações de modelos; Engenharia de software; Testes; Geração de casos de teste; Brasil.; Embedded systems; Model transformation validation; Test case generation; Brazil.; Ciências Exatas e da Terra; Ciência da Computação
• Link de acesso: http://repositorio.uem.br:8080/jspui/handle/1/2491

Model-Driven Engineering (MDE) supports model evolution and refining by means of transformations. SyMPLES is a development approach for embedded systems which is based on concepts of both Software Product Line (SPL) and MDE. This approach has a model transformation process from SysML to Simulink which guides the development from the models towards implementation. The validation of these transformations are important, to ensure the quality of the transformed models. Therefore, this work proposes a validation approach based on functional test for complex model transformations composed of several distinct steps. The SyMPLES transformation has two transformation steps, one written in ATL language and the other in Java languagem. This transformation has been evaluated by means of the validation approach using two test case generation techniques. The first used a SPL and the second used the SysML metamodel. The application of the approach identified certain kinds of error. By using generation policies and coverage criteria it was possible to reduce the amount of test cases generated, allowing to minimize the transformation test effort and time.