page1
PROTEUM
PROgram Testing Using Mutants
Projeto PROTEUM
SO
Linux
Licença
GPLv3
Supervisão
Prof. Marcio Delamaro
http://ccsl.icmc.usp.br/projects/proteum
Teste de mutação
É um critério de teste baseado em defeitos no qual um conjunto de implementações alternativas é criado por meio de pequenas alterações sintáticas. Um bom conjunto de teste de mostrar que cada uma dessa implementações alternativas (mutantes) produz resultados diversos do programa em teste. Assim, cabe ao testador encontrar um conjunto de teste que distinga (mate) cada um dos mutantes. Esse critério de teste foi mostrado, por meio de experimentação, ser bastante efetivo, produzindo conjuntos de teste eficientes em revelar a presença de defeitos
A PROTEUM é uma ferramenta que apoia a aplicação do teste de mutação para programas C, tanto em nível de unidade quanto de integração. Ela apresenta características que permitem a definição e manipulação de casos de teste e mutantes de forma bastante flexível. É extremamente eficiente e rápida na execução de mutantes, o que permite seu uso em ambientes reais de desenvolvimento de software.
Pode ser operada tanto por meio de sua interface gráfica quanto por meio de scripts de teste, que favorecem a automação desta atividade.