Os sistemas de software e hardware contêm falhas.Uma técnica importante para detectar falhas é o teste.Com a disseminação do desenvolvimento baseado em modelo, os modelos também se tornaram importantes para testes.Nos testes baseados em modelo, os modelos de teste são usados ​​para gerar suítes de teste (semi-) automaticamente.Embora a técnica de teste baseado em modelo tenha alguns anos, ainda há espaço para melhorias.Por exemplo, a maioria das ferramentas de modelagem comercial não fornece suporte de teste adequado para tipos ordenados lineares.Os critérios de cobertura são usados ​​como meios para medir a capacidade de detecção de falhas dos conjuntos de testes.A abordagem do ParTeG é combinar a satisfação dos critérios de cobertura baseados em fluxo de controle (por exemplo, MC / DC) e os critérios de cobertura baseados em limites (por exemplo, Multidimensional).Essa abordagem coloca o foco na geração automática de limites da partição de entrada a partir das condições nos modelos.Também pode ser entendida como uma transformação de partições de saída em um produto cruzado de partições de entrada e caminhos abstratos através da máquina de estados....