万博1manbetxSimulink设计验证
Identifique errores德DISEÑO，demuestre EL cumplimiento德requisitosÿgenere pruebas
万博1manbetxSimulink设计验证™utilizamétodosformales对identificar errores德DISEÑOocultos恩modelos。Detecta BLOQUES EN EL莫德洛阙provocan desbordamiento德enteros，逻muerta，infracciones德acceso一个阵列Ÿdivisiones POR CERO。Puede verificar formalmente阙埃尔DISEÑOsatisfaga洛杉矶requisitos funcionales。POR CADA错误去DISEÑOØinfracción德requisitos，本质上属联合国卡索日prueba日模拟对拉depuración。
万博1manbetxSimulink设计验证属casos德pruebas对satisfacer洛杉矶objetivos personalizadosŸ德的Cobertura德modelos CON EL鳍德ampliar洛杉矶actuales casos德pruebas basados恩requisitos。Estos casos德pruebas hacen阙ス莫德洛satisfaga洛斯objetivos德condición，决策，DE的Coberturacondición/决定修订于（MCDC）Y的Cobertura personalizada。Además德洛斯objetivos德的Cobertura，puede especificar objetivos德pruebas personalizadas对generarautomáticamentecasos德pruebas basados恩requisitos。
萨尔瓦多soporte对estándares德尔部门ESTA disponible一个través德IEC认证工具包（第IEC 61508ëISO 26262）YDO资格套件（对DO-178）。
Comience：
Errores恩时代报德ejecuciónŸerrores德diagnóstico
底注德ejecutar拉斯simulaciones，puede detectar errores烯蒂恩波德ejecuciónÿ德modelado，incluidos errores德desbordamiento德enteros，除法POR CERO，阵列fuera德限制一个，VALORES POR debajo德LO正常ÿPUNTO flotante，ASI como的errores德validez德DATOS。
LOGICA muerta
Localice objetos EN苏莫德洛阙没有puedan SER activados杜兰特LA模拟Ÿejecución德códigogenerado。 |
Visualización德拉LOGICA muerta EN SUS modelos。
Casos德pruebas对aumentar拉的Cobertura
AumenteŸamplíe洛杉矶casos德pruebas creados去备考手册existentes对solucionar UNA的Cobertura去莫德洛incompleta。 |
Casos德pruebas basados恩requisitos
Genere casos德pruebas一个partir德modelos德requisitos德尔SISTEMA。
Casos德pruebas第códigoC / C ++
Genere casos德pruebas第aumentar LA的Cobertura德尔códigogeneradoýELcódigoC / C ++ invocado desde BLOQUES德万博1manbetx®ÿdiagramas德Stateflow的®。
Generación德pruebas对modelos阙invocancódigoC.
Requisitos德SEGURIDAD
Verifique阙苏DISEÑOSE孔波塔德全国协议CON requisitos德SEGURIDAD definidos formalmenteÿexpresados CONMATLAB®，S万博1manbetximulink的ÿStateflow的。
Expresión德requisitos CON Sim万博1manbetxulink的。
Simplificación德modelos对拉implementación
乌纳VEZ阙哈亚validado POR COMPLETO苏莫德洛德variantes校长，utilice变异减速对generar未莫德洛reducido destinado联合国subconjunto德configuracionesválidas。TambiénSEreducirán待办事项洛杉矶archivosŸdependencias德变量relacionados。洛杉矶artefactos reducidos SEempaquetaránEN UNA carpeta独立队对permitir苏卸妆水despliegueŸUSO compartido CON clientesÿ伙伴。
Creación去联合国莫德洛reducido。
Mejoras恩洛杉矶informes德逻muerta
VEA拉斯posibles causas德拉LOGICA muerta EN LA塔纳结果督察，incluidos EL cortocircuito和Laejecucióncondicional
Validación德casos德prueba恩paralelo
使用ELcálculoparalelo对validar casos德pruebaØcontraejemplos
Soporte对elementos德总线
analice modelos代奥拓NIVEL阙contienen BLOQUES在巴士O元素输出总线元
Parámetrosespecíficos德instancia
analice modelos configurados对utilizarparámetrosespecíficos德拉instancia连接洛杉矶modelos referenciados
Comprobaciones德errores德DISEÑO日兰戈德ENTRADA
detecte infracciones德尔兰戈日ENTRADA对VARIOS tipos德BLOQUES查找表，BLOQUES多端口开关Y BLOQUES三角函数configurados POR CORDIC
Justificación德errores德DISEÑO
CREE reglas德justificaciónŸfiltrado对diseñarcomprobaciones德errores TRAS EL更新的时候通知flujos德特拉瓦霍iterativos
Consulte拉斯NOTAS德拉版本对军刀洛杉矶detalles自我estasCARACTERÍSTICASŸ拉斯funciones correspondientes。
