comutativa.

derivada.

distributiva.

reflexiva

única.

aplica-se apenas a software desenvolvido com o uso de linguagens de alto nível.

deve ser realizado em ambiente livre de interferências eletromagnéticas.

não leva em consideração a estrutura interna do software sob teste.

não se aplica a software produzido com o uso de linguagens orientadas a objetos.

somente se aplica a versões de software que já tenham entrado em operação.

Confiabilidade e complexidade ciclomática.

Número de instruções de desvio e qualidade do compilador.

Número de linhas de código e facilidade de manutenção.

Número de mensagens de erro e tempo de iniciação.

Portabilidade e facilidade de uso.