Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Souza, Érica Ferreira de | - |
Autor(es): dc.contributor | Endo, André Takeshi | - |
Autor(es): dc.contributor | Souza , Érica Ferreira de | - |
Autor(es): dc.contributor | Endo, André Takeshi | - |
Autor(es): dc.contributor | Watanabe, Willian Massami | - |
Autor(es): dc.creator | Almeida, Lucas de | - |
Data de aceite: dc.date.accessioned | 2025-08-29T13:31:17Z | - |
Data de disponibilização: dc.date.available | 2025-08-29T13:31:17Z | - |
Data de envio: dc.date.issued | 2025-08-01 | - |
Data de envio: dc.date.issued | 2025-08-01 | - |
Data de envio: dc.date.issued | 2022-12-05 | - |
Fonte completa do material: dc.identifier | http://repositorio.utfpr.edu.br/jspui/handle/1/37672 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/1114761 | - |
Descrição: dc.description | 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. | - |
Descrição: dc.description | 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. | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Publicador: dc.publisher | Universidade Tecnológica Federal do Paraná | - |
Publicador: dc.publisher | Cornelio Procopio | - |
Publicador: dc.publisher | Brasil | - |
Publicador: dc.publisher | Engenharia da Computação | - |
Publicador: dc.publisher | UTFPR | - |
Direitos: dc.rights | openAccess | - |
Direitos: dc.rights | Attribution-NonCommercial-ShareAlike 4.0 International | - |
Direitos: dc.rights | http://creativecommons.org/licenses/by-nc-sa/4.0/ | - |
Palavras-chave: dc.subject | Software - Testes | - |
Palavras-chave: dc.subject | Modelos e construção de modelos | - |
Palavras-chave: dc.subject | Software - Desenvolvimento | - |
Palavras-chave: dc.subject | Computer software - Testing | - |
Palavras-chave: dc.subject | Models and modelmaking | - |
Palavras-chave: dc.subject | Computer software - Development | - |
Palavras-chave: dc.subject | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | - |
Título: dc.title | Um estudo de caso com a ferramenta de teste baseado em modelo XState | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositorio Institucional da UTFPR - RIUT |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: