O teste de software constitui-se em uma etapa importante...

provar a correção integral no programa sob teste.

ter alta probabilidade de detectar erros no programa sob teste.

ter grande redundância, a fim de testar mais de uma vez cada linha do programa sob teste.

ser de alta complexidade, pois assim pode-se cobrir todo o programa sob teste com apenas um teste.

ser ocultado da equipe de desenvolvimento do software, pois esta pode querer impedir sua aplicação.