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

Giron, Alexandre Augusto

Use este identificador para citar ou linkar para este item: http://repositorio.uem.br:8080/jspui/handle/1/2491

Registro completo de metadados

Campo DC	Valor	Idioma
dc.contributor.advisor	Itana Maria de Souza Gimenes	pt_BR
dc.contributor.author	Giron, Alexandre Augusto	pt_BR
dc.date.accessioned	2018-04-10T20:12:12Z	-
dc.date.available	2018-04-10T20:12:12Z	-
dc.date.issued	2015	pt_BR
dc.identifier.uri	http://repositorio.uem.br:8080/jspui/handle/1/2491	-
dc.description.abstract	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.	en
dc.language	por	pt_BR
dc.publisher	Universidade Estadual de Maringá	pt_BR
dc.rights	openAccess	pt_BR
dc.subject	Sistemas embarcados	pt_BR
dc.subject	Transformações de modelos	pt_BR
dc.subject	Engenharia de software	pt_BR
dc.subject	Testes	pt_BR
dc.subject	Geração de casos de teste	pt_BR
dc.subject	Brasil.	pt_BR
dc.subject	Embedded systems	en
dc.subject	Model transformation validation	en
dc.subject	Test case generation	en
dc.subject	Brazil.	en
dc.title	Validação de transformações de modelos complexas	pt_BR
dc.title.alternative	Validation of complex model transformations	en
dc.type	masterThesis	pt_BR
dc.contributor.referee1	Edson Alves de Oliveira Junior - UEM	-
dc.contributor.referee2	Claudia Maria Lima Werner - COPPE/UFRJ	-
dc.description.resumo	A Engenharia Dirigida a Modelos (Model-Driven Engineering - MDE) apoia a evolução e o refinamento de modelos por meio de transformações em vários níveis de abstração. SyMPLES é uma abordagem de desenvolvimento para sistemas embarcados, que combina conceitos de MDE com Linha de Produto de Software (LPS). Essa abordagem possui um processo de transformação automatizado de modelos SysML para Simulink para guiar o desenvolvimento a partir de modelos rumo _a implementação. A validação dessas transformações é importante para assegurar a qualidade dos modelos transformados. Neste trabalho é apresentada uma abordagem de validação baseada em teste funcional para transformações complexas, as quais são compostas por várias etapas distintas. A transformação da SyMPLES possui duas etapas, uma escrita em linguagem ATL e outra em linguagem Java. Essa transformação de modelos foi avaliada por meio da abordagem de validação utilizando duas técnicas de geração de casos de teste. A primeira utilizou uma LPS e a segunda o metamodelo SysML. A aplicação da abordagem identificou determinados tipos de erro. Utilizando políticas de geração e critérios de cobertura foi possível diminuir a quantidade de casos de teste gerados, o que possibilitou minimizar o esforço e o tempo do teste da transformação.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Departamento de Informática	-
dc.publisher.program	Programa de Pós-Graduação em Ciência da Computação	pt_BR
dc.publisher.initials	UEM	pt_BR
dc.subject.cnpq1	Ciências Exatas e da Terra	pt_BR
dc.publisher.local	Maringá, PR	pt_BR
dc.description.physical	87 f	pt_BR
dc.subject.cnpq2	Ciência da Computação	pt_BR
dc.publisher.center	Centro de Tecnologia	pt_BR
Aparece nas coleções:	2.4 Dissertação - Ciências de Tecnologia (CTC)

Arquivos associados a este item:

Arquivo	Descrição	Tamanho	Formato
000217894.pdf		1,81 MB	Adobe PDF	Visualizar/Abrir

Mostrar registro simples do item Visualizar estatísticas

REPOSITÓRIO INSTITUCIONAL DA UNIVERSIDADE ESTADUAL DE MARINGÁ (RI-UEM)

A missão do Repositório Institucional da Universidade Estadual de Maringá (RI-UEM) é reunir, preservar e permitir o acesso à memória institucional (científica, técnica, artística e administrativa) da Universidade Estadual de Maringá em formato digital.