Use este identificador para citar ou linkar para este item:
http://repositorio.utfpr.edu.br/jspui/handle/1/37672
Título: | Um estudo de caso com a ferramenta de teste baseado em modelo XState |
Autor(es): | Almeida, Lucas de |
Orientador(es): | Souza, Érica Ferreira de |
Palavras-chave: | Software - Testes Modelos e construção de modelos Software - Desenvolvimento Computer software - Testing Models and modelmaking Computer software - Development |
Data do documento: | 6-Dez-2022 |
Editor: | Universidade Tecnológica Federal do Paraná |
Câmpus: | Cornelio Procopio |
Citação: | ALMEIDA, Lucas. Um estudo de caso com a ferramenta de teste baseado em modelo XState. 2022. Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Cornélio Procópio, 2022. |
Resumo: | A aplicação de testes é essencial quando se busca a qualidade de software no processo de desenvolvimento. Diversas abordagens da literatura almejam automatizar esse processo, procurando reduzir o tempo de implementação e ampliar a cobertura dos testes em relação aos requisitos do software em questão. Uma dessas abordagens é conhecida como teste baseado em modelo (TBM). Essa abordagem propõe a derivação de casos de teste através de um modelo baseado nos requisitos de um ou mais fluxos do software. Por se tratar de uma abordagem teórica, é possível aplicar os conceitos do TBM em inúmeras áreas de desenvolvimento, utilizando das mais variadas técnicas e tecnologias. Este trabalho apresenta um estudo de caso através da comparação dos resultados de duas abordagens de TBM, cada uma desenvolvida usando diferentes tecnologias, porém inseridas no contexto de aplicações Web. A primeira abordagem, chamada MoLeWe, desenvolvida na linguagem Java, faz uso do framework Selenium WebDriver e utiliza a técnica de modelagem event sequence graphs (ESG) para criar os modelos que posteriormente serão usados para gerar os casos de teste. A segunda abordagem, existente na prática, foi aplicada em um conjunto de aplicações utilizando Javascript e os frameworks XState e Cypress, bem como a técnica de máquinas de estado finitos (MEF) para modelagem. Métricas obtidas na aplicação da abordagem XState foram coletadas e comparadas com os resultados da abordagem MoLeWe, o que permitiu destacar pontos positivos e negativos da primeira abordagem em relação à segunda. Considerando a capacidade de atingir uma cobertura de código próxima à MoLeWe, as técnicas e tecnologias da abordagem XState se mostraram como possível opção de escolha para a aplicação dos conceitos do TBM. |
Abstract: | The application of tests is essential when looking to value the quality of software in the development process. Several approaches in the literature aim to automate this process, seeking to shorten the implementation time and expand the test coverage in relation to the software requirements in question. One such approach is known as model-based testing (MBT). This approach proposes the derivation of test cases through a model based on the requirements of one or more software flows. As it is a theoretical approach, it is possible to apply the concepts of MBT in numerous areas of development, using the most varied techniques and technologies. This work carries out a case study by comparing the results of two MBT approaches, each one developed using different technologies, but inserted in the context of Web applications. The first approach, called MoLeWe, developed in the Java language, with the use of the framework Selenium WebDriver and using the event sequence graphs (ESG) modeling technique to create the models that later will be used to generate the test cases. The second approach was applied in a set of applications using JavaScript and the frameworks XState and Cypress, as well as the finite state machine (FEM) technique for modeling. Metrics obtained in the application of the XState approach were collected and compared with the results of the MoLeWe approach, which allowed highlighting positive and negative points of the first approach in relation to the second. Considering the ability to achieve code coverage close to MoLeWe, the techniques and technolo- gies of the XState approach proved to be a possible choice for the application of TBM concepts. |
URI: | http://repositorio.utfpr.edu.br/jspui/handle/1/37672 |
Aparece nas coleções: | CP - Engenharia da Computação |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
testebaseadomodelosoftware.pdf | 1,14 MB | Adobe PDF | ![]() Visualizar/Abrir |
Este item está licenciada sob uma Licença Creative Commons