Verificación y validación en etapas iniciales con el diseño basado en modelos

Trazabilidad entre requisitos y diseño

Mostramos cómo garantizar la trazabilidad de los requisitos a lo largo del diseño y hasta la aplicación final. MathWorks Consulting demuestra cómo utilizar de la mejor manera posible Requirements Toolbox para crear enlaces bidireccionales entre modelos, pruebas, código y documentos de requisitos, así como generar y utilizar casos de prueba, y generar los informes necesarios. Integramos su sistema de gestión de requisitos y configuramos una arquitectura que garantiza la mantenibilidad y disminuye las intervenciones manuales.

Conformidad con estándares de modelado y codificación

El equipo de consultoría de MathWorks enseña a verificar la conformidad con los estándares de modelado y codificación específicos de su sector y aplicación, además de los estándares de su empresa o de seguridad. Implementamos comprobaciones de modelado personalizadas en Simulink Check para analizar y validar los modelos. Ayudamos a personalizar Polyspace Bug Finder para verificar la conformidad de código generado y desarrollado manualmente respecto de estándares de codificación.

Pruebas basadas en simulación y generación de informes

Demostramos cómo ejecutar pruebas de equivalencia de model-in-the-loop (MIL), software-in-the-loop (SIL) y processor-in-the-loop (PIL) para confirmar que el comportamiento del software coincide con el del modelo. Explicamos cómo aplicar análisis de cobertura con Simulink Coverage en el nivel de modelo y código para evaluar la calidad de los casos de prueba existentes, y cómo generar arneses de pruebas con Simulink Design Verifier para aumentar la fiabilidad de un diseño. Enseñamos la mejor forma de utilizar Simulink Test para ejecutar y generar informes de pruebas de manera flexible, o para implementar pruebas automatizadas a gran escala y conectarlas con herramientas de terceros.

Verificación a través de métodos formales

MathWorks Consulting puede ayudar a probar que el diseño y la aplicación final coinciden. Mostramos cómo Simulink Code Inspector puede examinar el código generado y cómo Simulink Design Verifier puede detectar errores de lógica fallida, desbordamientos de enteros y divisiones por cero, entre otros. Proporcionamos formación sobre cómo Polyspace Code Prover puede demostrar la exactitud del código acreditando la ausencia de errores de desbordamiento y división por cero, entre otros errores en tiempo de ejecución.

MathWorks Consulting Services cuenta con capacidad demostrada para:

• Establecer un flujo de trabajo de verificación y validación en etapas iniciales y de manera continua con el diseño basado en modelos
• Garantizar la trazabilidad y calidad a lo largo del proceso de desarrollo
• Establecer procesos para detectar y corregir errores de diseño en etapas iniciales
• Verificar que la aplicación final cumple con los requisitos