Software de design Simulink Design Verifier™

de diagnósticode verificação

Simulink Design Verifier™ usa métodos formais para identificar erros de design ocultos em modelos. Ele detecta blocos no modelo que resultam em excesso de número inteiro, lógica morta, violações de acesso a array e divisão por zero. Ele pode verificar formalmente se o projeto atende aos requisitos funcionais. Para cada erro de projeto ou violação de requisitos, ele gera um caso de teste de simulação para depuração. O Simulink Design Verifier gera casos de teste para cobertura de modelos e objetivos personalizados para ampliar os casos de teste baseados em requisitos existentes. Estes casos de teste levam o modelo a satisfazer a condição, decisão, condição modificada/decisão (MCDC), e objetivos de cobertura personalizados. Além dos objetivos de cobertura, o usuário pode especificar objetivos de teste personalizados para gerar automaticamente casos de teste baseados em necessidades. O suporte para as normas industriais está disponível através do Kit de Certificação IEC (para ISO 26262 e IEC 61508) e do Kit de Qualificação DO (para DO-178 e DO-254). Detecção de Erros de Desenho Descubra erros de projeto em seu modelo antes da simulação, incluindo erros de tempo de execução, erros de diagnóstico e lógica morta.