How to get input data used in Requirement table analysis by MATLAB?

I am currently using Requirement table block in my Simulink model. When I "Analyze Table" of the model there is output mat file named "RequirementsTable_sldvdata.mat" which is supposed to be containing input data used by MATLAB for the analysis of the table. However, there is only InputPortInfo and OutPortInfo in "sldvData" variable. Does anyone know if I have to change any setting or am I looking at the wrong variable?

Answer 1

[Darren Valovcin]

Hi Subham,

If the table is inconsistent, incomplete, or has other modeling issues*, Simulink Design Verifier will provide the data values which demonstrate the issues in sldvData.TestCases.dataValues. If the table has no modeling issues, then there will be no TestCases field in sldvData, as there are no issues to expose.

(*) See the documentation on other modeling issues which "Analyze Table" will also flag here: https://www.mathworks.com/help/slrequirements/ug/check-requirements-table-block.html

[Shubham]

Hi Darren,

Thank you for your warm reply. I understood the point that if no issues are there, then no testCases field exist in sldvData. However, is there a work around to get the TestCases by which my model was being evaluated for no inconsistency and no incompleteness?

[Darren Valovcin]

Hi Shubham,

SLDV uses formal methods to prove whether or not there are any issues. It does not using any specific inputs to show this, but robust mathematical formalisms to prove it. As such, there will be no way to get sets of input values if your table is consistent and complete.

[Shubham]

Thank you so much Darren!

I really appreciate you taking out some time.

[Shubham]

Hi @Darren Valovcin,

Sorry to bother you again, but can you please tell me how can I anaylze the requirement table programmatically. I have checked available object functions for Requirement table but there seems to be no such function.

web(fullfile(docroot, 'slrequirements/ref/slreq.modeling.requirementstable.html'))

If it's not possible just using the requirement table functions, can you pleae suggest me any other method to achieve this like using Simulink Design Verifier toolbox?