Investigação e Automatização de Técnicas de Redução de Custo do Teste de Mutação

• Processo: 16/21251-0
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 01 de outubro de 2017
• Data de Término da vigência: 30 de setembro de 2018
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Fabiano Cutigi Ferrari
• Beneficiário: Fabiano Cutigi Ferrari
• Pesquisador Anfitrião: Andrew Jefferson Offutt
• 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ã: George Mason University, Estados Unidos
• Assunto(s): Engenharia de software Teste e avaliação de software Teste de mutação
• Palavra(s)-Chave do Pesquisador: redução de custo | Teste de Mutação | Teste de Software | Engenharia de Software

Resumo

Contexto: O critério de seleção de testes Análise de Mutantes, também conhecido como teste de mutação, é uma importante opção para avaliar tanto sistemas de software quanto conjuntos de testes utilizados para testá-los. Porém, esse critério impõe alto custo de aplicação. Devido a isso, técnicas de redução de custo têm sido enfatizadas, visando a reduzir significativamente o custo do critério, sem comprometer a qualidade dos conjuntos de testes gerados.Definição do Problema: Os resultados da aplicação dessas técnicas são válidos somente para os programas que foram alvos dos experimentos realizados, sendo essa uma limitação ressaltada em pesquisas relacionadas. A questão que permanece refere-se à utilidade dos resultados das técnicas de redução de custo para serem aplicados em outros programas que ainda não foram testados com o teste de mutação.Objetivo: O trabalho proposto neste projeto tem como objetivo geral definir uma estratégia para a aplicação de técnicas de redução de custo do teste de mutação que reutiliza conhecimento empírico obtido de estudos prévios.Método: Inicialmente, será feita uma caracterização do estado da arte sobre técnicas de redução de custo para o teste de mutação. Um ranqueamento das melhores técnicas de redução de custo direcionará a definição de uma estratégia de aplicação dessas técnicas. A estratégia deverá considerar a similaridade entre os programas já testados e de novos programas aos quais o teste com custo reduzido será aplicado. Os resultados dos novos testes serão avaliados sob o ponto de vista de manutenção da qualidade dos conjuntos de teste criados.

Publicações científicas

(7)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

PIZZOLETO, ALESSANDRO, V; FERRARI, FABIANO C.; DALLILO, LUCAS D.; OFFUTT, JEFF; IEEE. SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing. 2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), v. N/A, p. 10-pg., 2020-01-01. (16/21251-0)

DALLILO, LUCAS DINIZ; PIZZOLETO, ALESSANDRO VIOLA; FERRARI, FABIANO CUTIGI; ACM. An Evaluation of Internal Program Metrics as Predictors of Mutation Operator Score. SAST 2019: PROCEEDINGS OF THE IV BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING, v. N/A, p. 10-pg., 2019-01-01. (16/21251-0)

GUARNIERI, GIOVANNI F.; PIZZOLETO, ALESSANDRO, V; FERRARI, FABIANO C.; IEEE COMP SOC. An Automated Framework for Cost Reduction of Mutation Testing Based on Program Similarity. 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022), v. N/A, p. 10-pg., 2022-01-01. (16/21251-0)

FERRARI, FABIANO CUTIGI; PIZZOLETO, ALESSANDRO VIOLA; OFFUTT, JEFF; IEEE. A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results. 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), v. N/A, p. 10-pg., 2018-01-01. (16/21251-0)

PIZZOLETO, ALESSANDRO VIOLA; FERRARI, FABIANO CUTIGI; OFFUTT, JEFF; FERNANDES, LEO; RIBEIRO, MARCIO. A systematic literature review of techniques and metrics to reduce the cost of mutation testing. JOURNAL OF SYSTEMS AND SOFTWARE, v. 157, NOV 2019. (16/21251-0)

PINHEIRO, PEDRO; VIANA, JOSE CARLOS; RIBEIRO, MARCIO; FERNANDES, LEO; FERRARI, FABIANO; GHEYI, ROHIT; FONSECA, BALDOINO. Mutating code annotations: An empirical evaluation on Java and C# programs. SCIENCE OF COMPUTER PROGRAMMING, v. 191, JUN 1 2020. (16/21251-0)

FERRARI, FABIANO C.; DURELLI, VINICIUS H. S.; ANDLER, STEN F.; OFFUTT, JEFF; SAADATMAND, MEHRDAD; MULLNER, NILS. On transforming model-based tests into code: A systematic literature review. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. N/A, p. 32-pg., 2023-09-07. (16/21251-0)