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