Algumas limitações teóricas são importantes na definição de critérios de teste, principalmente daqueles baseados no código, ou seja, que utilizam a estrutura do programa para derivar os requisitos de teste.

Para obter um nível mínimo de qualidade para os conjuntos adequados a um critério C para um programa P, deve-se requerer que exista um conjunto C adequado que seja finito e, de preferência, de baixa cardinalidade.

Um único critério de teste é ideal: aquele que estabelece que cada subdomínio D(P) é unitário, ou seja, cada dado de teste compõe isoladamente o próprio domínio. Desta maneira, apenas um elemento do domínio deve ser selecionado para o teste. É o chamado “teste exaustivo” que é, em geral, factível.

Na prática é impossível mostrar que um programa está correto por meio de teste. Isso porque, aliado a algumas limitações teóricas, ao se escolher um subconjunto D(P), corre-se o riso de deixar de fora algum caso de teste que poderia revelar a presenta de um defeito.