automatic test generation and real-time HIL execution?

I am looking into real-time automated test generation and execution solutions to verify a certain product. I assume some level of formal methods to be applied to achieve such a goal.

I am aware of the new release of Simulink Test, and from my understanding, such environment allows automated execution, but not automated generation of test cases i.e. the user needs to use Simulink Test GUI to create a series of test cases which can be then ran automatically.

I am aware of Simulink Design Verifier which allows one instead of selecting a Simulink model and having Test Generation Advisor to auto generate a list of test cases (even though it is not clear to me following what logics they may be created upon) to then import them onto Simulink Test.

Simulink Test is then reported to be compatible with real-time HIL testing. Does it mean it is compatible with Simulink real-time and speedgoat machine?

These conjectures may be confused and imprecise, I am relying on the community to give some light into the feasibility of this.

Answer 1

[Jon Lobo]

I think you have this largely correct.

You can use Simulink Design Verifier to generate test inputs that exercise your model to meet certain criteria. You can use these test inputs to repeatedly exercise your model and additionally you can simplify this repeated testing through Simulink Test. There is an example of how to do this here .

With regards to Simulink Test and its compatibility with Real-Time Testing, you are correct. Simulink Test has a Real-Time test which works with Simulink Real-Time and Speedgoat so you can automatically run repeated tests on the real-time target.