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.