Los sistemas de software y hardware contienen fallas.Una técnica importante para detectar fallas es la prueba.Con la difusión del desarrollo basado en modelos, los modelos también se hicieron importantes para las pruebas.En las pruebas basadas en modelos, los modelos de prueba se utilizan para generar conjuntos de pruebas (semi) automáticamente.Aunque la técnica de las pruebas basadas en modelos tiene algunos años, todavía hay margen para mejoras.Por ejemplo, la mayoría de las herramientas de modelado comerciales no proporcionan un soporte de prueba adecuado para los tipos ordenados lineales.Los criterios de cobertura se utilizan como medios para medir la capacidad de detección de fallas de los conjuntos de pruebas.El enfoque de ParTeG es combinar la satisfacción de los criterios de cobertura basados ​​en el flujo de control (por ejemplo, MC / DC) y los criterios de cobertura basados ​​en límites (por ejemplo, multidimensional).Este enfoque pone el foco en la generación automática de límites de partición de entrada a partir de las condiciones en los modelos.También puede entenderse como una transformación de particiones de salida en un producto cruzado de particiones de entrada y rutas abstractas a través de la máquina de estados....