Localização de Defeitos em Depuração Automatizada

• Processo: 13/24992-2
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de abril de 2014
• Data de Término da vigência: 31 de janeiro de 2018
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Fabio Kon
• Beneficiário: Higor Amario de Souza
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Bolsa(s) vinculada(s): 14/23030-5 - Avaliação do uso prático de técnica de localização de defeitos, BE.EP.DR
• Palavra(s)-Chave do Pesquisador: Depuração automatizada | Esforço de localização | localização de defeitos | Depuração de Programas

Resumo

A depuração é uma tarefa inerente ao processo de desenvolvimento de programas. A execução de testes e a localização e correção de defeitos correspondem a uma parcela significativa do tempo gasto no processo de criação e manutenção de programas. A automatização da atividade de depuração, principalmente a localização de defeitos, pode colaborar para reduzir tais custos e para melhorar a qualidade dos programas desenvolvidos. Diversas técnicas de localização de defeitos têm sido propostas. A maioria dessas técnicas gera como saída uma lista contendo os trechos do programa mais suspeitos de conter defeitos. No entanto, a avaliação de como os desenvolvedores usam os resultados fornecidos pelas técnicas para depurar programas ainda precisa ser mais estudada. Resultados recentes indicam que os desenvolvedores possuem um ``orçamento de esforço'' associado ao uso de uma técnica de depuração. Se o desenvolvedor não encontra o defeito dentro desse orçamento, ele muda a sua estratégia de busca. A compreensão do esforço de localização dos desenvolvedores ao usar uma técnica de depuração automatizada serve para avaliar o uso prático de tais técnicas. Este projeto de doutorado tem o objetivo de estudar e avaliar como as técnicas de depuração são usadas de forma prática e qual o esforço de localização que os desenvolvedores dispendem para procurar defeitos usando técnicas automatizadas. Dessa forma pretendemos aprimorar as técnicas para que localizem o defeito dentro do orçamento de esforço e avaliar quais são os fatores que influenciam os resultados das técnicas de depuração automatizada, como a presença de múltiplos defeitos e a qualidade do conjunto de teste usados pelas técnicas. Assim, pretende-se colaborar com os estudos sobre localização de defeitos para possibilitar seu uso na indústria de software.

Publicações científicas

(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)

DE SOUZA, HIGOR A.; MUTTI, DANILO; CHAIM, MARCOS L.; KON, FABIO. Contextualizing spectrum-based fault localization. INFORMATION AND SOFTWARE TECHNOLOGY, v. 94, p. 245-261, FEB 2018. (13/24992-2, 14/23030-5)

RIBEIRO, HENRIQUE L.; DE ARAUJO, ROBERTO P. A.; CHAIM, MARCOS L.; DE SOUZA, HIGOR A.; KON, FABIO; IEEE. Evaluating data-flow coverage in spectrum-based fault localization. 2019 13TH ACM/IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM 2019), v. N/A, p. 11-pg., 2019-01-01. (14/50937-1, 14/23030-5, 13/24992-2)

RIBEIRO, HENRIQUE L.; DE ARAUJO, ROBERTO P. A.; CHAIM, MARCOS L.; DE SOUZA, HIGOR A.; KON, FABIO; IEEE. Jaguar: a spectrum-based fault localization tool for real-world software. 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), v. N/A, p. 6-pg., 2018-01-01. (13/24992-2, 14/23030-5)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

SOUZA, Higor Amario de. Avaliação de localização de defeitos baseada em espectro para uso prático. 2018. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) São Paulo.