sejam capazes de, necessariamente, detectar, no máximo, um erro a cada nova execução.

não levem em conta as especificações determinadas para o software.

consigam localizar erros decorrentes da falta de comentários no código fonte.

tenham alta probabilidade de encontrar ou detectar erros.

sempre apresentem erros de compilação a cada teste planejado e implementado.