• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Concepção e avaliação de operadores de mutação para a linguagem AsmetaL

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

Paperback

Programming

ISBN10: 6209195342
ISBN13: 9786209195341
Publisher: Edicoes Nosso Conhecimento
Published: Dec 21 2025
Pages: 112
Weight: 0.35
Height: 0.27 Width: 6.00 Depth: 9.00
Language: Portuguese
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.

Also in

Programming