Verificación de código generado automáticamente

La verificación de código a menudo se deja para el final del proyecto, que es cuando los cambios son más costosos de realizar. ¿Qué sucedería si se pudiera verificar el comportamiento del sistema a lo largo de todo el proceso de desarrollo? Usando los mismos escenarios de pruebas desarrollados para el modelo de simulación, se puede verificar continuamente el comportamiento del código generado según se va acrisolando y ampliando. La sesión cubre:

• El desarrollo, gestión y ejecución de casos de prueba reutilizables tanto en los procesos de simulación como de generación de código.
• Utilización de técnicas de verificación dinámicas y estáticas
• Recogida y acumulación de resultados de análisis de cobertura estructural del código para medir la exhaustividad de los ensayos desde Simulink^®
• Obtención de las métricas de rendimiento de ejecución y anotación de resultados en el modelo
• Análisis de conformidad con normas y estándares y prueba de la corrección del código de producción