La infraestructura de ModelCHECK se ha activado para soportar conjuntos inseparables en el informe de ModelCHECK.
Con esta mejora, se introducen las siguientes verificaciones nuevas:
• MC_MRG_EMBED_COMP_ERR config_init_option: se incorporan los recuentos de errores de los componentes integrados en el parámetro del conjunto padre para una gestión de errores simplificada. Esta verificación está desactivada por defecto.
• MC_MRG_COMP_ERR_IN_TOP_ASM: permite combinar los recuentos de errores de componentes en el parámetro de error del conjunto superior. Esta verificación está desactivada por defecto.
• MC_RUN_ON_ASM_COMP: permite ejecutar ModelCHECK en componentes intersectados. Esta verificación está desactivada por defecto.
Beneficios
Estas verificaciones proporcionan una capacidad mejorada para revisar modelos con conjuntos inseparables.
Información adicional
Sugerencias:
Algunas verificaciones están desactivadas por defecto y deben configurarse en Y para activar su funcionalidad.
Limitaciones:
No se conocen limitaciones.
¿Reemplaza a funcionalidad existente?
No.
Opción de configuración asociada con esta funcionalidad: