Uma abordagem de verificação e validação para sistemas de middleware específicos de domínio dirigidos a modelo
dc.contributor.advisor1 | Costa, Fábio Moreira | |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/0925150626762308 | eng |
dc.contributor.referee1 | Costa, Fábio Moreira | |
dc.contributor.referee2 | Coutinho, Luciano Reis | |
dc.contributor.referee3 | Graciano Neto, Valdemar Vicente | |
dc.creator | Fortes, Marcelo Rodrigues | |
dc.creator.Lattes | http://lattes.cnpq.br/3225119028129131 | eng |
dc.date.accessioned | 2018-11-13T11:10:09Z | |
dc.date.issued | 2018-10-01 | |
dc.description.abstract | Middleware platforms aim to facilitate the construction of distributed applications, hiding the complexities and specificities inherent in the underlying platform. However, while middleware facilitates the construction of applications, its own construction is quite complex, requiring good knowledge in software design and implementation. In this sense, some approaches have been proposed, with the aim of presenting more flexible and configurable ways to build middleware, for example, reflective middleware, model-driven middleware and component-based middleware. Another example is the Model-Driven Domain-Specific Middleware (MD-DSM) approach, which employs Model-Driven Engineering concepts for building middleware platforms that support the execution of model-based applications. MD-DSM solves several problems related to building middleware for different domains. However, the entire process of verifying and validating the final MDDSM product is performed in an ad hoc way, without a methodology that guides the middleware engineer during these activities, possibly compromising the quality of the final product. In this work, we present a verification and validation (V&V) methodology that systematizes the entire quality assurance activities of this category of middleware. In addition, we present a tool that automates much of the V&V activities that need to be performed to ensure the quality of a middleware system built using MD-DSM. We also present a quantitative evaluation of the V&V tool. | eng |
dc.description.provenance | Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2018-11-13T10:55:28Z No. of bitstreams: 2 Dissertação - Marcelo Rodrigues Fortes - 2018.pdf: 2838097 bytes, checksum: d4a5cf0a63ac4bf2c855f5bbaf4d5b65 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) | eng |
dc.description.provenance | Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-11-13T11:10:09Z (GMT) No. of bitstreams: 2 Dissertação - Marcelo Rodrigues Fortes - 2018.pdf: 2838097 bytes, checksum: d4a5cf0a63ac4bf2c855f5bbaf4d5b65 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) | eng |
dc.description.provenance | Made available in DSpace on 2018-11-13T11:10:09Z (GMT). No. of bitstreams: 2 Dissertação - Marcelo Rodrigues Fortes - 2018.pdf: 2838097 bytes, checksum: d4a5cf0a63ac4bf2c855f5bbaf4d5b65 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-10-01 | eng |
dc.description.resumo | Sistemas de middleware têm como objetivo facilitar a construção de aplicações distribuídas, ocultando as complexidades e especificidades inerentes à plataforma subjacente. Entretanto, embora o middleware facilite a construção de aplicações, sua própria construção é bastante complexa, exigindo um bom conhecimento em design e implementação de software. Nesse sentido, algumas abordagens têm sido propostas, com o objetivo de apresentar formas mais flexíveis e configuráveis para construção de middleware, por exemplo, middleware reflexivo, middleware dirigido por modelos e middleware baseado em componentes. Outro exemplo é a abordagem denominada Model-Driven Domain-Specific Middleware (MD-DSM), que emprega conceitos de Engenharia Dirigida por Modelos para construção de plataformas de middleware que suportam a execução de aplicações também baseadas em modelos. MD-DSM resolve vários problemas relacionados à construção de middleware para diferentes domínios. No entanto, todo o processo de verificação e validação do produto final MD-DSM é realizado de forma ad hoc, sem uma metodologia que guie o engenheiro de middleware durante essas atividades, reduzindo a qualidade do produto final. Neste trabalho, apresentamos uma metodologia de verificação e validação (V&V) que sistematiza todo o processo de garantia de qualidade dessa categoria de middleware. Além disso, apresentamos uma ferramenta que automatiza grande parte das atividades de V&V para middleware baseado em MD-DSM. Também apresentamos uma avaliação quantitativa da ferramenta de V&V implementada. | eng |
dc.description.sponsorship | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES | eng |
dc.format | application/pdf | * |
dc.identifier.citation | FORTES, M. R. Uma abordagem de verificação e validação para sistemas de middleware específicos de domínio dirigidos a modelo. 2018. 88 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Goiânia, 2018. | eng |
dc.identifier.uri | http://repositorio.bc.ufg.br/tede/handle/tede/9062 | |
dc.language | por | eng |
dc.publisher | Universidade Federal de Goiás | eng |
dc.publisher.country | Brasil | eng |
dc.publisher.department | Instituto de Informática - INF (RG) | eng |
dc.publisher.initials | UFG | eng |
dc.publisher.program | Programa de Pós-graduação em Ciência da Computação (INF) | eng |
dc.rights | Acesso Aberto | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.subject | Middleware | por |
dc.subject | Verificação e validação | por |
dc.subject | Engenharia dirigida a modelos | por |
dc.subject | Consistência | por |
dc.subject | Garantia de qualidade | por |
dc.subject | Middleware | eng |
dc.subject | Verification and validation | eng |
dc.subject | Model-driven engineering | eng |
dc.subject | Consistency | eng |
dc.subject | Quality assurance | eng |
dc.subject.cnpq | CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | eng |
dc.title | Uma abordagem de verificação e validação para sistemas de middleware específicos de domínio dirigidos a modelo | eng |
dc.type | Dissertação | eng |
Arquivos
Pacote Original
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- Dissertação - Marcelo Rodrigues Fortes - 2018.pdf
- Tamanho:
- 2.71 MB
- Formato:
- Adobe Portable Document Format
- Descrição:
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 2.11 KB
- Formato:
- Item-specific license agreed upon to submission
- Descrição: