Why do I get an empty Constraints in the sldvData.mat file after running auto-test case generation?

1 次查看(过去 30 天)
I am working on MIL/SIL verification. Why do I get an empty Constraints in the sldvData.mat file after running auto-test case generation?
All model inputs are defined with proper min/max ranges.

回答(1 个)

Vinayak
Vinayak 2023-5-22
There could be a few reasons for this
  1. Its possible some of the model blocks are not supported by SLDV, in which constraints will not be generated.
The MathWorks documentation provides a comprehensive list of supported and unsupported blocks for Simulink Design Verifier. You can find the full list in the SLDV documentation: https://www.mathworks.com/help/sldv/unsupported-simulink-constructs.html
2. Also you may recheck the configuration settings as certain parameters have to enabled for constraints to be generated.
3. Model authenticity also needs to be validated, for a problematic model such as having syntax errors or being incomplete, the test cases generated may not provide sufficient info to create new constraints.

类别

Help CenterFile Exchange 中查找有关 Generate Tests 的更多信息

Community Treasure Hunt

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

Start Hunting!

Translated by