Integração dos mecanismos de teste de mutação e injeção de erros

• Processo: 23/01720-9
• Modalidade de apoio: Bolsas no Brasil - Programa Capacitação - Treinamento Técnico
• Data de Início da vigência: 01 de abril de 2023
• Data de Término da vigência: 30 de novembro de 2023
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Acordo de Cooperação: CONFAP - Conselho Nacional das Fundações Estaduais de Amparo à Pesquisa
• Pesquisador responsável: Fabiano Cutigi Ferrari
• Beneficiário: Kathiani Elisa de Souza
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Vinculado ao auxílio: 19/25307-8 - Validação de aplicações para cidades inteligentes: uma abordagem baseada em defeitos, AP.R
• Assunto(s): Engenharia de software Teste de mutação Cidades inteligentes Ensaios de defeitos
• Palavra(s)-Chave do Pesquisador: injeção de erros | Teste de Mutação | Tolerância a Defeitos | Engenharia de Software

Resumo

O projeto de pesquisa no qual este projeto para bolsa de Treinamento Técnico se insere tem como objetivo geral a definição de uma abordagem baseada em defeitos para o desenvolvimento e a validação de aplicações para Cidades Inteligentes, com foco nos domínios de mobilidade urbana e gestão de tráfego. Estão previstos no projeto de pesquisa o desenvolvimento de uma ferramenta de injeção de erros (subprojeto SP3-TT4), e o desenvolvimento de uma ferramenta de teste de mutação (subprojetos SP4-M/D e SP5-M). Este trabalho de Treinamento Técnico envolve a integração das ferramentas de teste de mutação e de injeção de erros como forma de validar os mecanismos de recuperação de erros implementados nas aplicações para Cidades Inteligentes (referente ao subprojeto SP2-D). A integração das ferramentas é necessária para que ambas possam ser executadas de foram combinadas; uma vez gerados, os mutantes podem ser executados com casos de teste gerados em tempo de execução (erros injetados). Ou seja, o comportamento dos mutantes pode ser avaliado na presença dos erros injetados, e o resultados desses testes servirá como parâmetro para indicar o nível de robustez das aplicações testadas. Um desafio central relacionado à integração das ferramentas se refere a como reproduzir um estado de erro do sistema (por meio de injeção de erros) repetidas vezes, para que diversos mutantes sejam avaliados. Nesse sentido, adequações de ambas as ferramentas podem ser necessárias, e serão realizadas no escopo deste trabalho de Treinamento Técnico. (AU)