Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
Autor(a) principal: | |
---|---|
Data de Publicação: | 2020 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/ |
Resumo: | A eficiência e eficácia do Teste Baseado em Modelo (TBM) se deve principalmente ao seu potencial para automação. Se o modelo for formal e baseado em Máquinas de Transição de Estados, os casos de teste podem ser derivados automaticamente. Uma das técnicas de modelagem formal mais utilizada é a interpretação de um sistema como uma Máquina de Estados Finitos Estendida (MEFE), porém, não é uma prática comum na indústria a utilização de modelos formais, já que os desenvolvedores tem dificuldades de lidar com os conceitos envolvidos. Por outro lado, a Unified Modeling Language (UML) tornou-se o padrão de fato para modelagem de software. No entanto, devido à falta de semântica formal da UML, seus diagramas podem gerar inconsistências e receber interpretações ambíguas. Dessa forma, os modelos UML não são adequados para automação de teste. Neste contexto, esta tese de doutorado apresenta um procedimento sistemático nomeado de TestSd2Efsm para geração de um ambiente de testes a partir de modelos UML que usa conceitos da MDA (Model Driven Architecture) para formalizar Diagramas de Sequência UML em Máquinas de Estados Finitos Estendidas e fornecer uma semântica precisa para esse modelo UML. O procedimento sistemático também aplica a biblioteca ModelJUnit para geração de casos de teste abstratos e um conjunto de métricas para avaliá-los. Além disso, utiliza o framework JUnit para concretizar os casos de teste na linguagem de programação Java. Foi realizado um estudo experimental para avaliar a eficiência, eficácia e qualidade do procedimento sistemático TestSd2Efsm. Os resultados do experimento mostraram que o custo medido em tempo para geração de um ambiente de teste utilizando o procedimento sistemático TestSd2Efsm é menor que o esforço utilizando a abordagem manual e os casos de teste gerados pelo procedimento sistemático TestSd2Efsm são mais eficazes que os gerados pela abordagem manual. Além disso, a percepção dos participantes do experimento é que a qualidade da geração do ambiente de teste pelo procedimento sistemático TestSd2Efsm é maior que a qualidade utilizando a abordagem manual. |
id |
USP_ed45f4287acbd67e8af3178bc226263b |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-16022021-145429 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UMLTest generation by extended finite state machines extracted from UML sequence diagramsDiagrama de sequênciaExtended finite state machineJUnitJUnitMáquina de estados finitos estendidaMDAMDAModel-based testingModelJUnitModelJUnitSequence diagramTeste baseado em modeloA eficiência e eficácia do Teste Baseado em Modelo (TBM) se deve principalmente ao seu potencial para automação. Se o modelo for formal e baseado em Máquinas de Transição de Estados, os casos de teste podem ser derivados automaticamente. Uma das técnicas de modelagem formal mais utilizada é a interpretação de um sistema como uma Máquina de Estados Finitos Estendida (MEFE), porém, não é uma prática comum na indústria a utilização de modelos formais, já que os desenvolvedores tem dificuldades de lidar com os conceitos envolvidos. Por outro lado, a Unified Modeling Language (UML) tornou-se o padrão de fato para modelagem de software. No entanto, devido à falta de semântica formal da UML, seus diagramas podem gerar inconsistências e receber interpretações ambíguas. Dessa forma, os modelos UML não são adequados para automação de teste. Neste contexto, esta tese de doutorado apresenta um procedimento sistemático nomeado de TestSd2Efsm para geração de um ambiente de testes a partir de modelos UML que usa conceitos da MDA (Model Driven Architecture) para formalizar Diagramas de Sequência UML em Máquinas de Estados Finitos Estendidas e fornecer uma semântica precisa para esse modelo UML. O procedimento sistemático também aplica a biblioteca ModelJUnit para geração de casos de teste abstratos e um conjunto de métricas para avaliá-los. Além disso, utiliza o framework JUnit para concretizar os casos de teste na linguagem de programação Java. Foi realizado um estudo experimental para avaliar a eficiência, eficácia e qualidade do procedimento sistemático TestSd2Efsm. Os resultados do experimento mostraram que o custo medido em tempo para geração de um ambiente de teste utilizando o procedimento sistemático TestSd2Efsm é menor que o esforço utilizando a abordagem manual e os casos de teste gerados pelo procedimento sistemático TestSd2Efsm são mais eficazes que os gerados pela abordagem manual. Além disso, a percepção dos participantes do experimento é que a qualidade da geração do ambiente de teste pelo procedimento sistemático TestSd2Efsm é maior que a qualidade utilizando a abordagem manual.The efficiency and effectiveness of the Model-Based Testing (MBT) derives mainly from its potential for automation. If the model is formal and based on State Transition Machines, test cases can be derived automatically. One of the widely used formal modeling techniques is the interpretation of a system as an Extended Finite State Machine (EFSM), however, it is not a common practice in the industry to use formal models, since developers have difficulties in dealing with the concepts involved. On the other hand, Unified Modeling Language (UML) has become the \"de facto\" standard for software modeling. Nevertheless, due to the lack of formal UML semantics, its diagrams can generate inconsistencies and receive ambiguous interpretations. For that reason, UML models are not suitable for test automation. In this context, this thesis presents a systematic procedure named TestSd2Efsm for generating a test environment from UML models that uses MDA (Model Driven Architecture) concepts to formalize UML Sequence Diagrams in Extended Finite State Machines and provide precise semantics for this UML model. The systematic procedure also applies the ModelJUnit library for generating abstract test cases and a set of metrics to evaluate them. In addition, it uses the JUnit framework to realize the test cases in the Java programming language. An experimental study was carried out to evaluate the efficiency, the effectiveness and the quality of the systematic procedure TestSd2Efsm. The results of the experiment have demonstrated that the cost measured in time for generating a test environment using the systematic procedure TestSd2Efsm is less than the effort using the manual approach and the test cases generated by the systematic procedure TestSd2Efsm are more effective than those generated by the manual approach. In addition, the perception of the experiment participants is that the quality of the generation of the test environment by the systematic procedure TestSd2Efsm is higher than the quality using the manual approach.Biblioteca Digitais de Teses e Dissertações da USPSimão, Adenilso da SilvaSousa, Thiago Carvalho deRocha, Mauricio Rêgo Mota da2020-12-17info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2021-02-16T20:01:02Zoai:teses.usp.br:tde-16022021-145429Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-02-16T20:01:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML Test generation by extended finite state machines extracted from UML sequence diagrams |
title |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML |
spellingShingle |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML Rocha, Mauricio Rêgo Mota da Diagrama de sequência Extended finite state machine JUnit JUnit Máquina de estados finitos estendida MDA MDA Model-based testing ModelJUnit ModelJUnit Sequence diagram Teste baseado em modelo |
title_short |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML |
title_full |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML |
title_fullStr |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML |
title_full_unstemmed |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML |
title_sort |
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML |
author |
Rocha, Mauricio Rêgo Mota da |
author_facet |
Rocha, Mauricio Rêgo Mota da |
author_role |
author |
dc.contributor.none.fl_str_mv |
Simão, Adenilso da Silva Sousa, Thiago Carvalho de |
dc.contributor.author.fl_str_mv |
Rocha, Mauricio Rêgo Mota da |
dc.subject.por.fl_str_mv |
Diagrama de sequência Extended finite state machine JUnit JUnit Máquina de estados finitos estendida MDA MDA Model-based testing ModelJUnit ModelJUnit Sequence diagram Teste baseado em modelo |
topic |
Diagrama de sequência Extended finite state machine JUnit JUnit Máquina de estados finitos estendida MDA MDA Model-based testing ModelJUnit ModelJUnit Sequence diagram Teste baseado em modelo |
description |
A eficiência e eficácia do Teste Baseado em Modelo (TBM) se deve principalmente ao seu potencial para automação. Se o modelo for formal e baseado em Máquinas de Transição de Estados, os casos de teste podem ser derivados automaticamente. Uma das técnicas de modelagem formal mais utilizada é a interpretação de um sistema como uma Máquina de Estados Finitos Estendida (MEFE), porém, não é uma prática comum na indústria a utilização de modelos formais, já que os desenvolvedores tem dificuldades de lidar com os conceitos envolvidos. Por outro lado, a Unified Modeling Language (UML) tornou-se o padrão de fato para modelagem de software. No entanto, devido à falta de semântica formal da UML, seus diagramas podem gerar inconsistências e receber interpretações ambíguas. Dessa forma, os modelos UML não são adequados para automação de teste. Neste contexto, esta tese de doutorado apresenta um procedimento sistemático nomeado de TestSd2Efsm para geração de um ambiente de testes a partir de modelos UML que usa conceitos da MDA (Model Driven Architecture) para formalizar Diagramas de Sequência UML em Máquinas de Estados Finitos Estendidas e fornecer uma semântica precisa para esse modelo UML. O procedimento sistemático também aplica a biblioteca ModelJUnit para geração de casos de teste abstratos e um conjunto de métricas para avaliá-los. Além disso, utiliza o framework JUnit para concretizar os casos de teste na linguagem de programação Java. Foi realizado um estudo experimental para avaliar a eficiência, eficácia e qualidade do procedimento sistemático TestSd2Efsm. Os resultados do experimento mostraram que o custo medido em tempo para geração de um ambiente de teste utilizando o procedimento sistemático TestSd2Efsm é menor que o esforço utilizando a abordagem manual e os casos de teste gerados pelo procedimento sistemático TestSd2Efsm são mais eficazes que os gerados pela abordagem manual. Além disso, a percepção dos participantes do experimento é que a qualidade da geração do ambiente de teste pelo procedimento sistemático TestSd2Efsm é maior que a qualidade utilizando a abordagem manual. |
publishDate |
2020 |
dc.date.none.fl_str_mv |
2020-12-17 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/ |
url |
https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1809090760613560320 |