Verificación y validación en etapas iniciales con el diseño basado en modelos
La verificación y validación con el diseño basado en modelos permite detectar errores de diseño y requisitos incorrectos en etapas iniciales del proceso de desarrollo, lo que ahorra tiempo y mejora la calidad de los productos. MathWorks Consulting Services ayuda a establecer un flujo de trabajo de verificación y validación de diseño basado en modelos que permite desarrollar requisitos ejecutables sólidos y realizar pruebas en etapas iniciales y de manera continua.
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
¿Tiene preguntas?
![Pregunta](https://la.mathworks.com/services/consulting/proven-solutions/early-verification-validation/_jcr_content/mainParsys/column_0/2/panel_copy/panelParsys/mediaobject.adapt.full.medium.png/1689671336497.png)