Prueba de componentes de modelo

Analice y simule los modelos referenciados, los subsistemas o los subgrupos atómicos de un modelo. Aísle un subsistema o un modelo referenciado para probarlo extrayéndolo en un modelo de arnés. Monitorice las señales del dominio del tiempo en su modelo durante la simulación, de acuerdo con las especificaciones que asigne a los bloques. Construya verificaciones de señales y aplíquelas selectivamente basándose en el grupo de entrada de la simulación. Genere y empaquete archivos de opciones para analizar el código generado a partir de modelos de Simulink^® con Polyspace. Los archivos de opciones empaquetados son útiles cuando el análisis de Polyspace del código generado se realiza por separado del de Simulink. Por ejemplo, en un flujo de trabajo distribuido, el análisis de Polyspace podría realizarse en un entorno que no tiene Simulink. Utilizando los archivos de opciones empaquetados, se conserva el contexto específico del modelo del código generado.