金宝appSimulink设计验证者™ utiliza métodos formales para identificar errores de diseño ocultos en modelos. Detecta bloques en el modelo que dan como resultado un desbordamiento de enteros, lógica fallida, infracciones de acceso a arrays y división por cero. Puede verificar formalmente que el diseño cumple con 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.
金宝appSimulink设计验证者属Casos de prueba Para满意度的los objetivos personizados y de cobertura de Cobertura de Modelos con el fin de ampliar los casos de prueba de prueba存在于Basados Enrequisitos。Estos casos de prueba hacen que su Modelo cumpla con los objetivos decondición,decisión,condición/decisiónmodificada(MCDC)y cobertura sylesizada。Ademásde los objetivos de Cobertura,Puede Especificar objetivos de pruebas个性化para para parageneromáticamentecasos de prueba basados basados enequisitos。
El soporte para estándares de la industria está disponible a través deIEC认证套件(ISO 26262 y IEC 61508)y做资格套件(DO-178 y DO-254).
Validación de requisitos
compruebe la fidelidad y la intectidad de los requisitos modelados antes de comenzar adiseñar。
Detección de 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。
deteccióndeLógicaFallida
识别objetos en su modero que no puedan ser activados durante lasimulaciónyejecucióndeCódigogentardo。
Análisisde Cobertura de pruebas不完整
Aumente y amplíe casos de prueba existentes creados manualmente para solucionar la cobertura de modelos incompleta, y la cobertura del código generado y el código C/C++, llamado desde bloques de Simulink®y图de stateflow®。
prenificaciónderequisitos de seguridad formeres
verifique si elDiseñoSecomporta de acuerdo con los recrecreisitos de seguridad deconidos formormente conMATLAB®, Simulink y Stateflow.
creacióndecasos de prueba basados en requisitos
Genere casos de prueba a partir de modelos de requisitos del sistema.
简化Modelos para el despliegue
Una vez que haya validado por completo el modelo de variantes principal, utilice Variant Reducer para generar un modelo reducido para un subconjunto de configuraciones válidas. También se reducirán todas las dependencias de variables y archivos relacionadas. Los artefactos reducidos se empaquetarán en una carpeta independiente para permitir un fácil despliegue y compartirlos con clientes y partners.
Recursos del Prodrodo:
“El diseño basado en modelos nos permitió analizar requisitos rápidamente, reutilizar diseños de productos anteriores y eliminar errores de codificación manual, así como reducir los tiempos de desarrollo y acortar los plazos para satisfacer las necesidades de nuestros clientes”.
MyoungSuk Ko, LS Automotive