Amplificação de testes automatizados por meio de análise dinâmica

Resumo

Métodos ágeis e suas práticas têm promovido a presença difundida de testes automatizados em projetos de software. Na prática, tais casos de teste vêm sendo utilizados com sucesso para testar diferentes níveis do software, do teste de unidade (por exemplo, frameworks xUnit) até o teste de Graphical User Interface (GUI) end-to-end (por exemplo, Selenium Webdriver). Para aumentar o retorno sobre investimento em teste, abordagens foram propostas com o intuito de reusar testes existentes na verificação de outras características do software. Tais abordagens, então chamadas de amplificação de teste, podem ser excepcionalmente poderosas quando apoiadas por informações específicas coletadas do software em execução. Este projeto tem como objetivo propor mecanismos para amplificar testes automatizados usando uma análise dinâmica lightweight e direcionada. Em particular, pretende-se investigar como a amplificação de teste pode ser empregada em dois cenários: (i) exploração de event races, e (ii) detecção de testes flaky. (AU)