Input generation for Coverage testing

Hi,

I have a Stateflow state machine that I want to do coverage testing on. It seems to me like the built in Simulink coverage tester shows the coverage that the model went through for 1 simulation. I would like to test the model to make sure that I go through all possible scenarios. To do this, I would have to create inputs to the Stateflow diagram so that it covers the whole code. Is there an automated way to create these inputs to the Stateflow chart so I don't have to do this part manually?

Thanks, Horace

Answer 1

[Sebastian Castro]

If you have Simulink Design Verifier, you can use this to generate test cases for full coverage.

Here's a quick video: http://www.mathworks.com/videos/extend-existing-test-cases-to-achieve-full-model-coverage-86484.html

- Sebastian