Simulink Design Verifier is not creating test cases.

5 次查看（过去 30 天）
Meiying Goh
Meiying Goh 2018-5-10
回答： Bill Aldrich 2018-6-20
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 个评论
Pat Canny
Pat Canny 2018-5-16
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?

请先登录，再进行评论。

请先登录，再回答此问题。

回答（2 个）

Ankita Bansal
Ankita Bansal 2018-5-31
编辑：Ankita Bansal 2018-5-31
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 个评论
Meiying Goh
Meiying Goh 2018-6-1
编辑：Meiying Goh 2018-6-1
My initial plan was to create a set of test cases from the model. So, I tried creating a set of test cases by using the generate test function in matlab. But, it does not analysis the objectives almost immediately.
Please refer to the image that I had attached.
Hence, I went to research on possible way to generate test cases and I followed one of mathwork example. The steps were to create my own test cases, generate a harness model, import the test cases into the signal builder, run it, save the cvt file and run the cvt file with the model and it also produce the same result as the image.
This is the link that I refer to: https://www.youtube.com/watch?v=33EiOfCRpSQ&t=1581s
Moreover, I tried to use the example that is provided by mathlab, such as sldvdemo_flipflop and it still doesn't produce any test cases.
Please do look into this. Thank you very much.

请先登录，再进行评论。

Bill Aldrich
Bill Aldrich 2018-6-20
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.

类别

在 Help Center 和 File Exchange 中查找有关 Test Model Components 的更多信息

标签

产品


版本

R2014b

Community Treasure Hunt

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

Start Hunting!

Translated by