Software de medição Simulink Verification and Validation™

de verificaçãode engenhariade modelagem

A verificação e Validation™ de Simulink automatizam as exigências que seguem, modelando a verificação da conformidade dos padrões, e a medida da cobertura para ver se há modelos e o código gerado. Você pode criar relatórios da rastreabilidade das exigências detalhadas, autor suas próprias verificações de modelagem do estilo, e desenvolve configurações da verificação para compartilhar com o planejamento de equipes. A documentação das exigências pode ser ligada aos modelos, às situações de teste, e ao código gerado. Você pode usar a análise da cobertura para confirmar que os modelos e o código gerado estiveram testados completamente.