Verification with Simulink test

6 views (last 30 days)
Udai
Udai on 12 Apr 2020
Commented: Udai on 14 Apr 2020
I am trying out the use of Simulink Test and Requirements for MBSE.
I have created a requirement that links to a test case and is implemented by a block. After running the test, I see that the test completed sucessfully and that the requirement has a green verfied bar in the requirements manager. All this works well.
However, now if I make some changes in my model that is part of the test harness for the test, I would expect that the verfication needs to be done again, and the verification bar should turn yellow. However, I do not see this happening and the requirement remains verified.
I wanted to ask:
  1. Is my expectation correct?
  2. Is there an option that implements this that I am not using correctly?
Thanks!
Udai

Accepted Answer

Shivam Chaturvedi
Shivam Chaturvedi on 13 Apr 2020
Hi Udai,
  1. There is some expectation mismatch here. So what happens is that if a link is a verification link that MATLAB understands, such as from Simulink Test Manager, then we know when the results are stale with respect to the source of the link, which is the test. So, if you produce results and then make a change in the test file, Requirements Editor will know about it. But in your case, the tests haven't changed, but there is a change in the test harness, which Simulink Requirements has no direct way of detecting yet. So it is not expected to revert the color to yellow from green. It is expected to show whatever is the result status from Simulink Test Manager
  2. Unfortunately, there is no way currently to automatically mark such statuses as "Stale" in case the test harness model connected to the test file changes. However, if you do make changes to the test file, such as a simple re save, which "touches" the file on disk, then the results would be marked as "Stale" in yellow which would signal that tests need to be re-run.
Hope that helps.
Shivam
  1 Comment
Udai
Udai on 14 Apr 2020
Hi Shivam,
Thanks for the answer! Now, I better understand the links between these different components.
Udai

Sign in to comment.

More Answers (0)

Categories

Find more on Verification, Validation, and Test in Help Center and File Exchange

Community Treasure Hunt

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

Start Hunting!