Static semantic merge: uma ferramenta para integração de análise estática ao processo de merge

Abstract

Durante o desenvolvimento de um software, é comum que times trabalhem paralelamente em um mesmo projeto por diversos fatores, como divisão de tarefas e maior progresso no desenvolvimento [3]. Desenvolvedores trabalham em suas tarefas pessoais separadamente até o momento em que se faz necessário a junção dessas mudanças em uma versão principal. Para isso é geralmente utilizada uma ferramenta de controle de versão para a gestão desse processo, como o Git. A junção dessas mudanças é dada pelo comando de git merge, e nesse momento podem ocorrer conflitos textuais ou de ordem superior que acarretam problemas momentâneos ou futuros para os desenvolvedores [3]. Conflitos textuais ocorrem quando desenvolvedores alteram a mesma linha ou linhas consecutivas em um mesmo arquivo, ou quando um desenvolvedor edita um arquivo e outro desenvolvedor exclui esse mesmo arquivo [9], esses conflitos são reportados pelo Git imediatamente, fazendo com que o desenvolvedor seja obrigado a decidir (Fig. 1) quais mudanças vão ter prioridade e quais serão descartadas. Esse tipo de conflito gera problemas imediatos ao desenvolvedor, pois o faz parar o desenvolvimento para lidar com os conflitos.Com isso, esse trabalho propõe o Static Semantic Merge (SSM)3 , uma ferramenta que pode ser acoplada ao processo de desenvolvimento de software visando detectar conflitos semânticos em cenários de merge, utilizando a implementação das análises do conflict-static-analsis. Também utilizamos o Mining Framework para coletar as informações de quais métodos e linhas foram modificados pelos desenvolvedores e para servir de interface de comunicação com o conflict-static-analsis. Criando assim mais uma camada de proteção a bugs.