Verification with Simulink test

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

Answer 1

[Shivam Chaturvedi]

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

[Udai]

Hi Shivam,

Thanks for the answer! Now, I better understand the links between these different components.

Udai