MATLAB: What is the difference between Simulink Test toolbox and Simulink Design Verifier toolbox

Question

Greetings,

I am working as Software developer since last few years. I need some expert's advise in testing the model on Matlab environment. For model based testing (MIL + SIL), I was planning to use Simulink design Verifier. Later I found one more toolbox i.e. Simulink Test. I have read the overview section of both the toolbox but not able to understand what is the difference between them. Can someone explain me what is the difference between these two toolboxes 'Simulink Test' and 'Simulink Design Verifier' ?

Also, Let me know if someone has used either of these toolboxes and share me your experience with these toolboxes.

Thanks! Shiva

Answer 1

At a high-level Simulink Test helps you manage existing tests and test-suites, and Simulink Design Verifier helps in analyzing a model and automatically generating tests, identifying design errors, and proving properties.