Sobre o método para teste de software denominado “análise...

É a forma mais comum de teste baseado em modelos estatísticos.

Afirma-se que um mutante é válido se ele está sintaticamente e semanticamente correto.

Operador de mutação consiste de uma regra para a produção de um programa mutante pela modificação sintática, semântica e compilável do programa original.

Dado um programa e um conjunto de testes T, a análise de mutantes consiste na seleção dos operadores de mutação, geração dos mutantes e na distinção dos mutantes.

A mutação forte reduz a quantidade de testes a serem executados matando os mutantes quando eles produzem um estado intermediário diferente, em vez de esperar pela diferença no resultado final ou no comportamento observável do programa compilável.