Asserções de objetos completos em testes para detecção de conflitos semânticos, uma análise crítica

Abstract

Em ambientes de desenvolvimento de software, é comum que desenvolvedores trabalhem de maneira paralela e colaborativa, o que faz com que a integração de código possa afastar o comportamento do software daquele introduzido pelos desenvolvedores, i.e. introduzindo conflitos semânticos entre as versões. Ferramentas geradoras de testes unitários têm sido utilizadas na detecção desses conflitos, mas essa abordagem ainda gera uma alta taxa de falsos negativos. Para solucionar esse problema um novo método de geração de asserções nos testes foi proposto, onde um hashcode para objetos complexos criados no prefixo do teste é gerado e utilizado nas asserções dos testes para detectar a mudança de estado do objeto entre as versões de código. Esse estudo comparou a nova abordagem com SAM, uma ferramenta de merge semântico consolidada na literatura, sobre cenários reais de integração de código em projetos open source, sobre a capacidade de detecção desses conflitos. Os resultados indicam que essa abordagem de geração de assertivas é muito sensível às mudanças no código que, de fato, alteram o estado do objeto complexo mas não introduzem conflito semântico, portanto a nova abordagem pode levar a acusação de falsos positivos em muitos cenários de integração textual.