Incremental Strategy for Applying Mutation Operators Emphasizing Faults Diicult to be Detected by Automated Static Analyser

Vinícius Barcelos Silva, Cláudio Antonio Araujo, Edmundo Sérgio Spoto, and Auri M R Vincenzi. 2017. Incremental Strategy for Applying Mutation Operators Emphasizing Faults Dicult to be Detected by Automated Static Analyser. In Proceedings of SBES’17, Fortaleza, CE, Brazil, September 20–22, 2017, 10 pages.

1. Fichamento de Conteúdo

O artigo citado replica o estudo de Cláudio Antonio Araujo, Engineering Research and Development, que utilizando C define uma estratégia incremental de aplicação dos operadores de operações. Dividindo em dois tipos de atividades sendo elas, análise dinâmica e análise estática o artigo traz o artigo trabalha na ideia de um estratégia incremental para resolver os conjuntos de casos de teste adequados para o teste de mutação. Começando com a avaliação de estratégia incremental partindo para a análise de dados o artigo obtém bons scores de mutação levando em consideração as limitações relacionadas aos processos utilizados.

2. Fichamento Bibliográfico

• FindBugs: ferramenta utilizada para análise estática
• ORRN (Relational Operator Mutation): faz a função de substituir uma ocorrência de um operador relacional dentro do programa original por todos os outros operadores relacionais existentes.
• SSDL (Statement Deletion): tem o objetivo de remover um comando de cada vez do programa original dando origem aos mutantes.

3. Fichamento de Citações

• "O teste de mutação foi concebido baseado na hipótese do programador competente e no efeito de acoplamento [16]. A hipótese do programador competente parte da premissa de que programadores experientes escrevem programas bem próximos de estarem corretos. Já o efeito de acoplamento parte da premissa de que defeitos mais complexos estão relacionados a defeitos mais simples."

• "A análise dinâmica requer a execução do código, podendo assim ter um custo mais elevado do que a análise estática de acordo com as técnicas e critérios de testes adotados."

• "Já a análise estática realizada por analisadores estáticos automatizados costuma ser de menor custo pois não exige execução do código e a análise é realizada com base em regras e na representa- ção abstrata do comportamento do código do produto [17]."