TCC Sistemas de Informação

URI Permanente para esta coleção

https://repositorio.ifal.edu.br/handle/123456789/46

Navegar

Navegando TCC Sistemas de Informação por Orientador "Oliveira, Leonardo Fernandes Mendonça de"

Agora exibindo 1 - 2 de 2
  • Imagem de Miniatura
    Item
    Reduzindo esforços manuais na análise de equivalência dos testes de mutação
    (2024-10-30) Amorim, Samuel Veloso de; Oliveira, Leonardo Fernandes Mendonça de; http://lattes.cnpq.br/4226060363182113; Oliveira; Oliveira, Augusto César Melo de; http://lattes.cnpq.br/0015527839272634; Kamei, Fernando Kenji; http://lattes.cnpq.br/5033020411757389
    Mutation testing has attracted significant interest due to its reputation as a powerful criterion for test suite adequacy and its ability to guide test case generation. However, the presence of equivalent mutants hinders its use in industry. The Equivalent Mutant Problem has been proven undecidable, but manually detecting equivalent mutants is an error-prone and time- consuming task. Therefore, even partial solutions can help reduce this cost. To minimize this problem, we introduce an approach to suggest equivalent mutants. Our approach is based on automated behavioral tests, which consist of test cases based on the original program's behavior. We perform static analysis to automatically generate tests for the entities impacted by the mutation. For each analyzed mutant, our approach can suggest whether the mutant is equivalent or non-equivalent. In the case of non-equivalent mutants, our approach provides a test case capable of killing the mutant. For the suggested equivalent mutants, we also provide a ranking of mutants with a higher or lower likelihood of being truly equivalent. We tested our approach on a set of 1,542 mutants manually classified in previous works as either equivalent or non-equivalent. We found that the approach effectively suggests equivalent mutants, achieving over 93% accuracy in five of the eight studied subjects. Compared to the manual analysis of surviving mutants, our approach takes one-third of the time to suggest equivalent mutants and is 25 times faster in identifying non-equivalent mutants. We also conducted a study to discern the specific characteristics of mutants that our approach mistakenly classified as equivalent, generating false positives. Furthermore, our investigation delves into a comprehensive analysis of mutation operators, providing essential insights for professionals seeking to improve equivalent mutant detection accuracy and effectively mitigate the associated costs.
  • Imagem de Miniatura
    Item
    SEJA - Sistema de Estágios e Jovem Aprendiz
    (2024-10-29) Oliveira , Lucas Gabriel Peixoto de; Oliveira, Leonardo Fernandes Mendonça de; http://lattes.cnpq.br/4226060363182113; Nunes Filho, Ricardo Rubens Gomes; http://lattes.cnpq.br/1760182180822152
    This final course project describes the development of the Sistema de Estágios e Jovem Aprendiz (SEJA), a web platform designed for managing internships and the jovem aprendiz program within educational institutions. The system aims to automate and centralize the administration of activities such as hiring, contract tracking, termination, and final evaluations of students, thereby optimizing efficiency and reducing operational errors. Built using Next.js on the frontend and Java Spring Boot on the backend, the software has been officially registered with the National Institute of Industrial Property (INPI). Currently in use at the Federal Institute of Alagoas, the system has significantly improved control and transparency in processes, managing over 1,200 concurrent records of internships and professional practice. SEJA shows potential for expansion to other institutions, offering a streamlined solution for automated management of internships and jovem aprendiz programs.