Loading results from an excel sheet and launching Simulink Design Verifier again to produce a new Simulink Design Verifier Report
3 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Marco Montanaro
el 1 de Feb. de 2021
Comentada: Marco Montanaro
el 14 de Abr. de 2022
I am having some trouble creating new Simulink Design Verifier Reports that also include all satisfied objectives.
When I run my unit tests on vector or matrix inputs, there are some cases where no matter how much time I leave the verifier running, it will never converge to a result, forcing me to stop the tests and update manually all results so that they reach all branches of my code. Running the tests and looking at the test results, I can get a 100% coverage on all of my code, but the problem is that I would also like to have a Simulink Design Verifier html report that reports all the satisfied objectives. When I test simpler functions with scalar input such report file is generated automatically, so how do I re-run the harness creator with the updated inputs?
I have already tried increasing heap memory and running intermediate tests, no dice. Currently working on 2020a.
1 comentario
Pat Canny
el 4 de Feb. de 2021
Hi Marco,
Thanks for your question. I have passed it along to the Design Verifier Engineering team.
Respuesta aceptada
Devendra Bhave
el 11 de Feb. de 2021
Editada: Devendra Bhave
el 11 de Feb. de 2021
Hi Marco,
SLDV supports extending existing test cases to achieve 100% coverage.
Let's call the set of test cases you authored manually M (stands for manually-written).
SLDV can generate an additional set of test cases A (stands for auto-generated) such that the set M + A gives you 100% coverage. This workflow is called "Test Case Extension" and produces a detailed SLDV report with the test cases and coverage details.
Test extension offers benefits over writing test cases manually. It treats test cases in M as a hint and discovers many new test cases by tweaking them. That means instead of writing 10 test cases manually, you simply write 2 test cases and let SLDV discover the remaining ones.
These are the links for your quick reference.
0 comentarios
Más respuestas (1)
Devendra Bhave
el 7 de Feb. de 2021
Hi Marco,
I understand your query as follows:
You are running SLDV test generation analysis on your model to get 100% coverage, and you aim to get SLDV report showing the full coverage. SLDV is unable to cover all objectives automatically. So you wrote few unit test cases yourself in an Excel file to obtain 100% coverage. You verified that your test cases indeed cover all objectives. But you need the SLDV report stating that all objectives have been covered.
It is not clear from your query how are you importing Excel-based test cases in SLDV, or how you are measuring coverage for your test cases? Are you using other MathWorks products like Simulink Test?
I suggest you call MathWorks support. This will help me understand your requirements better and offer you the best guidance on how to obtain SLDV report you seek.
2 comentarios
Ver también
Categorías
Más información sobre Results, Reporting, and Test File Management 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!