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

回答(1 个)

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

此问题已关闭。

产品

提问:

2015-4-29

关闭:

2021-8-20

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by