Simulink Design Verifier
Identifique errores de diseño, demuestre el cumplimiento de requisitos y genere pruebas
Simulink Design Verifier™ utiliza métodos formales para identificar errores de diseño ocultos en modelos. Detecta bloques en el modelo que provocan desbordamiento de enteros, lógica muerta, infracciones de acceso a arrays y divisiones por cero. Puede verificar formalmente que el diseño satisfaga los requisitos funcionales. Por cada error de diseño o infracción de requisitos, se genera un caso de prueba de simulación para la depuración.
Simulink Design Verifier genera casos de pruebas para satisfacer los objetivos personalizados y de cobertura de modelos con el fin de ampliar los actuales casos de pruebas basados en requisitos. Estos casos de pruebas hacen que su modelo satisfaga los objetivos de condición, decisión, cobertura de condición/decisión modificada (MCDC) y cobertura personalizada. Además de los objetivos de cobertura, puede especificar objetivos de pruebas personalizadas para generar automáticamente casos de pruebas basados en requisitos.
El soporte para estándares del sector está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178 and DO-254).
Comience:
Errores en tiempo de ejecución y errores de diagnóstico
Antes de ejecutar las simulaciones, puede detectar errores en tiempo de ejecución y de modelado, incluidos errores de desbordamiento de enteros, división por cero, array fuera de límites, valores por debajo de lo normal y punto flotante, así como errores de validez de datos.
Lógica muerta
Localice objetos en su modelo que no puedan ser activados durante la simulación y ejecución de código generado. |
Visualización de la lógica muerta en sus modelos.
Casos de pruebas para aumentar la cobertura
Aumente y amplíe los casos de pruebas creados de forma manual existentes para solucionar una cobertura de modelo incompleta. |
Casos de pruebas basados en requisitos
Genere casos de pruebas a partir de modelos de requisitos del sistema.
Casos de pruebas para código C/C++
Genere casos de pruebas para aumentar la cobertura del código generado y el código C/C++ invocado desde bloques de Simulink® y diagramas de Stateflow®.
Generación de pruebas para modelos que invocan código C.
Requisitos de seguridad
Verifique que su diseño se comporta de acuerdo con requisitos de seguridad definidos formalmente y expresados con MATLAB®, Simulink y Stateflow.
Simplificación de modelos para la implementación
Una vez que haya validado por completo su modelo de variantes principal, utilice Variant Reducer para generar un modelo reducido destinado a un subconjunto de configuraciones válidas. También se reducirán todos los archivos y dependencias de variables relacionados. Los artefactos reducidos se empaquetarán en una carpeta independiente para permitir su fácil despliegue y uso compartido con clientes y partners.
Creación de un modelo reducido.
Detección de errores para System objects
Detecte errores, genere pruebas o pruebe propiedades del código de MATLAB utilizando System objects en Simulink
Detección de infracciones de las directrices de modelado de sistemas de alta integridad (HISM)
Compruebe si existen infracciones específicas de HISM, tales como bloques Math Function as Square Root
Activación de la comprobación rápida de lógica muerta
Ejecute una comprobación de lógica muerta parcial para depurar los errores encontrados cerca de la etapa de diseño, antes de dedicar tiempo de cálculo a realizar un análisis exhaustivo
Soporte para elementos de bus
Analice modelos de alto nivel que contienen el bloque In Bus Element o Out Bus Element
Mejoras en los informes de lógica muerta
Vea las posibles causas de la lógica muerta en la ventana Results Inspector, incluidos el cortocircuito y la ejecución condicional
Validación de casos de prueba en paralelo
Use el cálculo paralelo para validar casos de prueba o contraejemplos
Consulte las notas de la versión para saber los detalles sobre estas características y las funciones correspondientes.
