MATLAB Answers

automatic test generation and real-time HIL execution?

4 views (last 30 days)
Matteo Diana
Matteo Diana on 23 Mar 2016
Answered: Jon Lobo on 14 Jul 2016
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.

  0 Comments

Sign in to comment.

Answers (1)

Jon Lobo
Jon Lobo on 14 Jul 2016
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.

  0 Comments

Sign in to comment.

Sign in to answer this question.


Translated by