Simulink Design Verifier is not creating test cases.
8 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
Hi, I am having this issue where the Simulink Design Verifier is not creating the test harness and insisting that I did not give any test cases for it to work.
This is the error that I encountered:
The analysis did not produce a harness model. Data does not contain any test cases or counterexamples.
I tried using the matlab command window and Design Verifier to do it and it still give that same result where no test harness is created.
2 commentaires
Pat Canny
le 16 Mai 2018
Which SLDV functions are you using from the MATLAB Command Window? I assume "sldvmakeharness", is that correct? If so, which input arguments are you including in the function call?
Réponses (2)
Ankita Bansal
le 31 Mai 2018
Modifié(e) : Ankita Bansal
le 31 Mai 2018
Hi, what are the set of commands/steps you are using to create the harness model.
sldvmakeharness('model name') creates empty harness model. If you want to create test harness, then you need to give testcases also as input and you can generate testcases using 'sldvrun'. After that you can use model name and generated test cases ( datafile ) as parameters in sldvmakeharness('model name' , 'datafile').
Hope this helps
1 commentaire
Bill Aldrich
le 20 Juin 2018
Based on the screenshot of your status window, I see that all of the test objectives have are undecided after just 1 second of analysis. This indicates some unexpected issue in the analysis. For example, you might have min/max settings on a signal specified as -1..1 and then feed the signal a value outside that range, say 5. This behavior could also indicate a bug within the tool or a problem with your installation.
I suggest you contact MathWorks support and provide a copy of the log file of the analysis and any other details you have so we can better help you. We need to know some details about the product version and the machine you are using.
The sldvmakeharness command is expected to produce the error you are seeing because you have 0 objectives satisfied by test cases.
0 commentaires
Voir également
Catégories
En savoir plus sur Verification, Validation, and Test dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!