A Controlabilidade refere-se ao fato de que entradas fornecidas como parte do teste produzem saídas distintas; estados e variáveis do sistema são visíveis ou consultáveis durante a execução.

A Estabilidade refere-se ao fato de que, se um sistema é projetado e implementado com qualidade em mente, poucos defeitos vão bloquear a execução dos testes, permitindo que o teste progrida sem arrancos.

A Decomponibilidade refere-se ao fato de que o sistema de software é construído por meio de módulos independentes, que podem ser testados separadamente.

A Observabilidade refere-se ao fato de que estados e variáveis do software e do hardware podem ser controlados diretamente pelo engenheiro de teste, e testes podem ser especificados, automatizados e reproduzidos convenientemente.