Em testes de software, a divisão do domínio de entrada de um módulo em um conjunto de estados válidos ou inválidos das condições de entrada é realizada por meio de
teste de caminho básico/lógico.
particionamento de equivalência.
análise de valor limite.
teste funcional sistemático.
teste de fluxo de dados.
