SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software

Detalhes bibliográficos
Autor(a) principal: Petry, Kleber Lopes
Data de Publicação: 2019
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
Texto Completo: http://repositorio.uem.br:8080/jspui/handle/1/5750
Resumo: Orientador: Prof. Dr. Edson Alves de Oliveira Junior
id UEM-10_93cfab68b3641f9c078be6e77eeb415c
oai_identifier_str oai:localhost:1/5750
network_acronym_str UEM-10
network_name_str Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
repository_id_str
spelling SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de softwareLinha de produto de software (LPS)SMarty - Gerenciamento de variabilidadeSMartyTestingSoftware - Qualidade005.14Ciências Exatas e da TerraCiência da ComputaçãoOrientador: Prof. Dr. Edson Alves de Oliveira JuniorDissertação (mestrado em Ciência da Computação) - Universidade Estadual de Maringá, 2019RESUMO: A utilização de reuso de código e de abordagens de teste no desenvolvimento de software, com a finalidade de garantir e aumentar a produtividade e a qualidade, vem crescendo exponencialmente entre os modelos de processos nas últimas décadas. Linha de Produto de Software (LPS) é um modelo de processo em que o reuso não oportuníssimo é o cerne do seu desenvolvimento. Levando em consideração a variabilidade inerente aos produtos derivados de uma LPS, uma forma efetiva de garantir a qualidade de tais produtos é a utilização de técnicas de teste. Para gerenciar variabilidades de uma LPS existem diversas abordagens, em especial as baseadas em Unified Modeling Language (UML). A abordagem Stereotype-based Management of Variability (SMarty) permite realizar tal gerenciamento. SMarty guia o usuário na identificação e representação de variabilidades em modelos UML, por meio de estereótipos e meta-atributos. SMarty oferece atualmente uma técnica de verificação de seus modelos na forma de inspeção baseada em checklists. Porém, SMarty não fornece uma forma de validação usando, por exemplo, Teste Baseado em Modelos (TBM). Com base nesse cenário e motivação, a busca por uma abordagem de geração de sequências de teste se faz necessária para a validação dos produtos instanciados. Assim, este trabalho teve como objetivo especificar uma abordagem para auxiliar na geração de sequências de teste, a partir de diagramas de sequência modelados com base em casos de uso e seus fluxos básicos e alternativos. Para avaliar tal abordagem foi realizado um estudo comparativo com outra abordagem existente na literatura, considerando quatro critérios de comparação: complexidade ciclomática, diferenciação das sequências, quantidade de sequências geradas e nível de esforço despendido na utilização da abordagem. Os resultados apontam viabilidade para utilização do modelo de abordagem proposta e, as contribuições são voltadas para a automatização dos processos, diminuição das etapas de tais processos e, suporte à programação concorrente para a ferramenta SPLiT-MBtABSTRACT: The use of code reuse and testing approaches in software development to ensure and increase productivity and quality has grown exponentially among process models in recent decades. Software Product Line (SPL) is a process model in which non-opportunistic reuse is the core of its development. Given the inherent variability in products derived from an SPL, an effective way to ensure the quality of such products is to use testing techniques. To manage variability of an SPL there are several approaches, especially those based on UML. The Stereotype-based Management of Variability (SMarty) approach enables such management. SMarty guides the user in identifying and representing variability in UML models through stereotypes and meta-attributes. SMarty currently offers a verification technique for its models in the form of checklist-based inspection. However, SMarty does not provide a form of validation using, for example, Model Based Testing (MBT). Based on this scenario and motivation, the search for a test sequence generation approach is necessary to validate the instantiated products. Thus, this paper aims to specify an approach that assists in the generation of test sequences from sequence diagrams modeled based on use cases and their basic and alternative flows. To evaluate such an approach, a comparative study was performed with another approach in the literature considering four comparison criteria: cyclomatic complexity, sequence differentiation, number of sequences generated and level of effort spent in using the approach. The results indicate the feasibility of using this approach model and the contributions are directed to the automation of processes, reduction of the steps of such processes, concurrent programming support for the SPLiT-MBt tool165 f. : il.Universidade Estadual de MaringáDepartamento de InformáticaPrograma de Pós-Graduação em Ciência da ComputaçãoCentro de TecnologiaOliveira Junior, Edson Alves deBalancieri, RenatoZorzo, Avelino FranciscoPetry, Kleber Lopes2020-09-03T14:38:52Z2020-09-03T14:38:52Z2019info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfPETRY, Kleber Lopes. SMartyTesting: uma abordagem de teste baseado em modelos SMarty para linhas de produto de software. 2019. 165 f. Dissertação (mestrado em Ciência da Computação) - Universidade Estadual de Maringá, 2019, Maringá, PR.http://repositorio.uem.br:8080/jspui/handle/1/5750info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)instname:Universidade Estadual de Maringá (UEM)instacron:UEM2020-09-10T14:13:27Zoai:localhost:1/5750Repositório InstitucionalPUBhttp://repositorio.uem.br:8080/oai/requestopendoar:2024-04-23T14:58:54.489899Repositório Institucional da Universidade Estadual de Maringá (RI-UEM) - Universidade Estadual de Maringá (UEM)false
dc.title.none.fl_str_mv SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software
title SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software
spellingShingle SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software
Petry, Kleber Lopes
Linha de produto de software (LPS)
SMarty - Gerenciamento de variabilidade
SMartyTesting
Software - Qualidade
005.14
Ciências Exatas e da Terra
Ciência da Computação
title_short SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software
title_full SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software
title_fullStr SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software
title_full_unstemmed SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software
title_sort SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software
author Petry, Kleber Lopes
author_facet Petry, Kleber Lopes
author_role author
dc.contributor.none.fl_str_mv Oliveira Junior, Edson Alves de
Balancieri, Renato
Zorzo, Avelino Francisco
dc.contributor.author.fl_str_mv Petry, Kleber Lopes
dc.subject.por.fl_str_mv Linha de produto de software (LPS)
SMarty - Gerenciamento de variabilidade
SMartyTesting
Software - Qualidade
005.14
Ciências Exatas e da Terra
Ciência da Computação
topic Linha de produto de software (LPS)
SMarty - Gerenciamento de variabilidade
SMartyTesting
Software - Qualidade
005.14
Ciências Exatas e da Terra
Ciência da Computação
description Orientador: Prof. Dr. Edson Alves de Oliveira Junior
publishDate 2019
dc.date.none.fl_str_mv 2019
2020-09-03T14:38:52Z
2020-09-03T14:38:52Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv PETRY, Kleber Lopes. SMartyTesting: uma abordagem de teste baseado em modelos SMarty para linhas de produto de software. 2019. 165 f. Dissertação (mestrado em Ciência da Computação) - Universidade Estadual de Maringá, 2019, Maringá, PR.
http://repositorio.uem.br:8080/jspui/handle/1/5750
identifier_str_mv PETRY, Kleber Lopes. SMartyTesting: uma abordagem de teste baseado em modelos SMarty para linhas de produto de software. 2019. 165 f. Dissertação (mestrado em Ciência da Computação) - Universidade Estadual de Maringá, 2019, Maringá, PR.
url http://repositorio.uem.br:8080/jspui/handle/1/5750
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Maringá
Departamento de Informática
Programa de Pós-Graduação em Ciência da Computação
Centro de Tecnologia
publisher.none.fl_str_mv Universidade Estadual de Maringá
Departamento de Informática
Programa de Pós-Graduação em Ciência da Computação
Centro de Tecnologia
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
instname:Universidade Estadual de Maringá (UEM)
instacron:UEM
instname_str Universidade Estadual de Maringá (UEM)
instacron_str UEM
institution UEM
reponame_str Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
collection Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
repository.name.fl_str_mv Repositório Institucional da Universidade Estadual de Maringá (RI-UEM) - Universidade Estadual de Maringá (UEM)
repository.mail.fl_str_mv
_version_ 1801841432111087616