Software de diseño Simulink Design Verifier™

de diagnósticode verificación

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).