Loading results from an excel sheet and launching Simulink Design Verifier again to produce a new Simulink Design Verifier Report
조회 수: 3 (최근 30일)
이전 댓글 표시
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
Pat Canny
2021년 2월 4일
Hi Marco,
Thanks for your question. I have passed it along to the Design Verifier Engineering team.
채택된 답변
Devendra Bhave
2021년 2월 11일
편집: Devendra Bhave
2021년 2월 11일
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
추가 답변 (1개)
Devendra Bhave
2021년 2월 7일
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.
참고 항목
카테고리
Help Center 및 File Exchange에서 Results, Reporting, and Test File Management에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!