Estudo e avaliação de alternativas de parametrização do teste de mutação visando o seu uso em ambientes de produção de sistemas de software

• Processo: 23/00001-9
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 15 de agosto de 2023
• Data de Término da vigência: 14 de agosto de 2024
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Auri Marcelo Rizzo Vincenzi
• Beneficiário: Auri Marcelo Rizzo Vincenzi
• Pesquisador Anfitrião: Ana Cristina Ramada Paiva
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Instituição Anfitriã: Universidade do Porto (UP), Portugal
• Assunto(s): Análise dinâmica Automação de teste Engenharia de software Engenharia de software experimental Teste de mutação Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: análise dinâmica | Análise estática | Automatização de Teste | Engenharia de Software | Engenharia de Software Experimental | Teste de Mutação | Teste de Software

Resumo

Considerando a relevância da automatização da atividades de teste para a indústria de produção de software e a relevância do teste baseado em mutação a partir de evidências científicas, no projeto de pesquisa regular FAPESP (Processo nº 2019/23160-0), intitulado "Teste de Software Baseado em Mutação com Alta Eficácia e Baixa Dívida Técnica: Processo Automatizado e Protótipo de Ambiente de Apoio Livres" busca-se o desenvolvimento de um protótipo de ambiente de apoio ao teste de mutação que seja 100% automatizado, ou seja, não demande interação humana ou reduza ao máximo a necessidade de intervenção humada. Objetivo: O presente projeto de bolsa BPE objetiva apoiar a realização de uma série de estudos experimentais, considerando produtos de software reais (proprietários ou de código aberto), que permitam demonstrar a viabilidade de condução do teste de mutação nesse contexto, quais os resultados obtidos e como o protótipo pode ser utilizado no apoio a garantia de qualidade em ambientes de produção de sistemas de software. Observa-se que tais estudos experimentais estão alinhados com um subconjunto das atividades do projeto de pesquisa regular FAPESP (Processo nº 2019/23160-0). Métodos: Estudos experimentais permitem a coleta de métricas sobre o produto em teste e dados da execução do teste de mutação considerando diferentes alternativas de redução do custo de aplicação, visando a demonstrar quais as melhores alternativas de uso desse critério de teste em produtos de software reais, considerando restrições de tempo e custo impostas nos projetos. Resultados esperados: Com isso, espera-se, de maneira geral, a definição de diretrizes básicas para o uso do teste de mutação em ambientes reais de desenvolvimento de software de forma automatizada, considerando as restrições de tempo e custo impostas no projeto. Observa-se que tais diretrizes devem variar com base em métricas coletadas para os produtos de software a serem testados. Conclusões: A aplicação do teste de mutação de forma 100% automatizada demanda alternativas de parametrização do teste de mutação a fim de priorizar o que testar do produto em teste e quais estratégias de utilização do teste de mutação devem ser utilizados para obter a melhor relação custo/benefício. Devido à comprovada eficácia do teste de mutação na detecção de defeitos, o uso da técnica em ambientes reais de desenvolvimento de software já é uma realidade, mas ainda pouco explorada em larga escala e, com esses estudos e o protótipo, espera-se fornecer subsídios para que mais empresas possam utilizar testes de mutação em seus processos de garantia de qualidade. Além disso, também como decorrência do período de estudo no exterior, vinculado a esse projeto de bolsa BPE, espera-se o estreitamento das pesquisas entre os grupos da Profa. Dra. Ana Paiva e do proponente. (AU)