Universidade Federal do Ceará
Mestrado e Doutorado em Ciências da Computação

Título: Optimus: Mecanismo de otimização de sequência de casos de testes em sistemas autoadaptativos

Data: 30/08/2024
Horário: 14h00
Local: Sala de Seminários do GREat – Bloco 942-A

Resumo:

Os sistemas dinamicamente adaptativos, do inglês DAS, são sistemas capazes de se modificar  automaticamente de acordo com o ambiente no qual estão inseridos. Essas adaptações dinâmicas trazem mais flexibilidade ao sistema, mas também podem resultar em falhas durante a sua execução, problemas com desempenho e operações indesejadas. Para os DAS, as abordagens de teste tradicionais são ineficazes devido aos aspectos dinâmicos desses sistemas, tornando a detecção de falhas uma tarefa complexa. Dessa maneira, várias abordagens de teste para estes sistemas foram propostas na literatura como forma de resolver os principais desafios, sendo uma delas o teste em tempo de execução. No entanto, ainda há uma carência em relação a cobertura e o custo de execução de testes em tempo de execução. Em razão disso, esta pesquisa propõe um mecanismo para diminuir o custo de execução e auxiliar a cobertura de testes em tempo de execução, com o objetivo de contribuir para a identificação de falhas em DAS. Para avaliar foi apresentada uma prova de conceito juntamente com simulações de sistemas DAS artificialmente gerados, abrangendo diferentes tamanhos (pequeno, médio e grande). As principais contribuições deste trabalho são: uma ferramenta para geração de casos de teste em binário e cálculo de seus custos; e o mecanismo de geração de sequências de casos de teste que visa minimizar o custo de execução e aumentar a cobertura de testes utilizando a métrica de variabilidade de contexto.

Banca examinadora:

• Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
• Prof. Dr. Ismayle de Sousa Santos (UFC – Coorientador)
• Prof.ª Dr.ª Valéria Lelli Leitão Dantas (MDCC/UFC)
• Prof. Dr. Leonardo Sampaio Rocha (UECE)
• Prof.ª Dr.ª Genaína Nunes Rodrigues (UnB)