Verification with Simulink test

Technical Source
2 min readAug 31, 2021

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?

ANSWER

Matlabsolutions.com provide latest MatLab Homework Help,MatLab Assignment Help for students, engineers and researchers in Multiple Branches like ECE, EEE, CSE, Mechanical, Civil with 100% output.Matlab Code for B.E, B.Tech,M.E,M.Tech, Ph.D. Scholars with 100% privacy guaranteed. Get MATLAB projects with source code for your learning and research.

  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.

SEE COMPLETE ANSWER CLICK THE LINK

--

--

Technical Source

Simple! That is me, a simple person. I am passionate about knowledge and reading. That’s why I have decided to write and share a bit of my life and thoughts to.