Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (2020)
- Authors:
- Autor USP: ROCHA, MAURICIO RÊGO MOTA DA - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: SOFTWARES; ENGENHARIA DE SOFTWARE
- Keywords: 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
- Agências de fomento:
- Language: Português
- Abstract: 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 paraavaliar 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.
- Imprenta:
- Publisher place: São Carlos
- Date published: 2020
- Data da defesa: 17.12.2020
-
ABNT
ROCHA, Mauricio Rêgo Mota da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/. Acesso em: 26 abr. 2024. -
APA
Rocha, M. R. M. da. (2020). Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/ -
NLM
Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 abr. 26 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/ -
Vancouver
Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 abr. 26 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
