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

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.