金宝app仿真软件设计验证器
Identifique Errores dediseño,Demuestre El Cumplimiento de Requisitos Y Genere Pruebas
金宝appSimulink Design Verifier™UterizaMétodos正规审议识别DeDiseñoOcultosen Modelos。Deteca Bloques en El Modelo Que Provocan desbordamiento de Enteros,LógicaMuerta,Infrociones de Acceso A阵列Y Displayes Por Cero。Puede Verificar Trusmmente Que ElDiseñoSelspagaLOS Requisitos Funcionales。POR CADA ERROR DEDISENÑOOFRICACIONENRECALISITOS,SE Perena Un Caso de Prueba deSimulaciónPara LaDepurión。
金宝appSimulink设计验证者能在满足条件的前提下实现目标的个性化,也能在实际条件的前提下实现目标的个性化。我们可以在condición, decisión, condición/decisión modificada (MCDC)和个性化cobertura的目标中找到我们想要的。Además de los objetivos de cobertura,具体的关于个人的要求automáticamente casos de proebas basados en requisitos。
在这里输入estándares del sector está disponble a través deIEC认证工具包(适用于ISO 26262和IEC 61508) y做资格工具包(适用于DO-178和DO-254)。
Mas给:
错误en tiempo deejecucióny ergeres dediagnóstico
我们可以在模拟的时间内检测到ejecución和modelado的错误,包括enteros的错误división cero, array fuera de límites, normal和punto flotante的错误,así datos的有效错误。
Logica muerta
当地人在模型上反对在simulación y ejecución de código generado上进行任何活动。 |
Casos de pruebas para alaumentar la cobertura
Aumente y amplíe los casos de pruebas creados de forma manual existen para solionar a cobertura de modelo incomplete。 |
Casos de Pruuebas Basados en Requisitos
Genere Casos de Pruebas a partir de modelos de Requisitos del Sistema。
Casos de proebas para código C/ c++
C/ c++ invocado desde bloques de . C/ c++ invocado desde bloques de金宝app®y divertas de.Stateflow®.
Requisitos de seguridad
请确认您的diseño的这些行为是必须的,并且是必须的MATLAB®,s金宝appimulink y stayflow。
Simplificación de modelos para la implementación
UNA VEZ Que Haya Valido Por Properno Su Modelo de Variantes校长,Unitue Vino Reducer Para Wenerar Un Modelo Reducido Destinado A UN SubConjunto deConfiguracionesVálidas。tambiénsereducirántodos los Archivos Y Depencias de变量Relacionados。Los Artefactos reducidos seempaquetaránnenuna carpeta deposente para pilmerir sufácildespliegue y uso compartido con客户y Partners。