- Its possible some of the model blocks are not supported by SLDV, in which constraints will not be generated.
Why do I get an empty Constraints in the sldvData.mat file after running auto-test case generation?
1 visualización (últimos 30 días)
Mostrar comentarios más antiguos
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.![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/1387009/image.png)
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/1387009/image.png)
0 comentarios
Respuestas (1)
Vinayak
el 22 de Mayo de 2023
There could be a few reasons for this
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.
0 comentarios
Ver también
Categorías
Más información sobre Verification, Validation, and Test en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!