Concepção e avaliação de operadores de mutação para a linguagem AsmetaL

A dete o de erros de especifica o pode ajudar a reduzir o custo e o risco do desenvolvimento de software, pois defeitos n o corrigidos nas especifica es se propagam para o c digo, afetando negativamente a qualidade do produto final. O teste de muta o uma t cnica bem estabelecida baseada em falhas para avaliar e melhorar a qualidade dos conjuntos de testes. O teste de muta o pode ser aplicado em diferentes n veis de abstra o, por exemplo, no n vel da unidade, no n vel da integra o e no n vel da especifica o. Neste livro, proposta uma su te de operadores de muta o espec ficos do AsmetaL, classificados em quatro categorias. Os operadores propostos s o usados para avaliar a adequa o dos conjuntos de testes gerados usando a ferramenta ATGT, de acordo com v rios crit rios de cobertura de teste. Ele demonstra a aplicabilidade da abordagem proposta por meio de estudos de caso do AsmetaL.