Infraestrutura para a correção automática de software baseada em busca de código: implementação de uma instância do Sourcerer

• Processo: 13/04966-7
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Iniciação Científica
• Data de Início da vigência: 01 de junho de 2013
• Data de Término da vigência: 31 de agosto de 2013
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Otávio Augusto Lazzarini Lemos
• Beneficiário: Felipe Capodifoglio Zanichelli
• Supervisor: Cristina Videira Lopes
• Instituição Sede: Instituto de Ciência e Tecnologia (ICT). Universidade Federal de São Paulo (UNIFESP). Campus São José dos Campos. São José dos Campos , SP, Brasil
• Instituição Anfitriã: University of California, Irvine (UC Irvine), Estados Unidos
• Vinculado à bolsa: 12/24517-0 - Implementação de uma Infraestrutura para a correção automática de software baseada em busca de código, BP.IC
• Assunto(s): Engenharia de software Reúso de software Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: Busca de código | Correção Automática de Software | Engenharia de Software | Reuso de Software | Teste de Software | Engenharia de Software

Resumo

A atividade de correção de defeitos tem se mostrado um grande obstáculo no desenvolvimento de software contemporâneo: estudos apontam que em torno de 90% do custo de um projeto de software é empregado em manutenção. O reparo de defeitos e outras atividades de evolução de software formam grande parte destes custos. Uma forma de economizar recursos nesse contexto e automatizar a atividade de correção de defeitos por meio de abordagens sistemáticas. Weimer e outros propuseram uma abordagem de correção automática de código baseada em programação genética: a ideia e utilizar trechos de código de partes funcionais do próprio sistema para tentar reparar as porções que possivelmente contêm o defeito. Casos de teste falhantes servem para indicar tais porções de código. Uma maneira de melhorar tal abordagem e aumentar o universo de busca, não se restringindo apenas ao código-fonte do próprio programa. De fato, a abordagem de Busca de Código Guiadapor Testes (BCGT), que está baseada em repositórios de código aberto, poderia ser adaptada para auxiliar na correção de código. Este projeto de bolsa BEPE tem como objetivo permitir ao proponente colaborar com a pesquisadora Cristina Lopes na Universidade da Califórnia em Irvine, para realizar parte do projeto de Iniciação Científica. A ideia principal e que o proponente possa entender e implementar uma instância abrangente da infraestrutura de código-fonte Sourcerer (desenvolvido na UCI), que e essencial para o funcionamento da abordagem proposta. (AU)