How to continue testing with SDV to extend results?

4 visualizaciones (últimos 30 días)
Monika Jaskolka
Monika Jaskolka el 8 de Nov. de 2020
Respondida: Andrew LeCours el 13 de Nov. de 2020
I am testing a large industrial Simulink model with SDV in order to get the values of structural coverage metics. I originally set the Maximum Analysis Time to be 20 hours. After the 20 hours, the testing stops and I was able to generate a coverage report (progress is shown in first image). However, all of the objectives have not been processed yet, and I want to give the analysis more time to complete. How do I do this without starting the testing over from scratch? Even when I Load Earlier Results that are in the resulting sldvdata.mat file, I am still waiting for the second round of testing to surpass the original objectives processed/satisfied over an hour later (second image). How can I make SDV continue testing where it left off?
Original test progress (20 hours)
Second round of testing
Update: 7+ hours later, my second round of testing is now at the same spot that the original testing stopped at. Obviously it is re-doing some of the analysis to get to this point.
  1 comentario
Pat Canny
Pat Canny el 13 de Nov. de 2020
Hi Monika,
Thanks for your question. I have passed this along to the Simulink Design Verifier engineering team.
- Pat
Simulink Design Verifier Product Manager

Iniciar sesión para comentar.

Respuesta aceptada

Andrew LeCours
Andrew LeCours el 13 de Nov. de 2020
Hi Monika,
If you have SMS, I’d suggest reaching out to MathWorks Support.
1) Thanks for the feedback about the reuse of previous results
A few ways to re-use previous results are the Extend using existing coverage data and Extend using existing test data options. The documentation has a bit more detail on how to use these options.
2) This model seems quite large. Splitting up the model into smaller pieces and generating tests for these smaller chunks can help scale up the Design Verifier analysis.
A few ways to do this are:
a) Run Design Verifier subsystem-by-subsystem.
b) Analyze the model in a bottom-up fashion
You may have already seen this, but this section of our documentation contains more general information about complexity management:
Please let me know if you have any further follow-up questions.
Thanks again for your feedback,
Andrew

Más respuestas (0)

Categorías

Más información sobre Verification, Validation, and Test en Help Center y File Exchange.

Productos


Versión

R2020b

Community Treasure Hunt

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

Start Hunting!

Translated by