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

2023 10 4
1 个回答
回答已采纳
更新时间：2023 10 25
57 次查看（30 天）

0 个投票

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?

请先登录，再回答此问题。

 采纳的回答

Darren Valovcin
Darren Valovcin 2023-10-12

1 个投票

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

4 个评论
显示 2更早的评论 隐藏 2更早的评论

Shubham
Shubham 2023-10-13
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
Darren Valovcin 2023-10-13
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
Shubham 2023-10-16
编辑：Shubham 2023-10-18
Thank you so much Darren!
I really appreciate you taking out some time.
Shubham
Shubham 2023-10-24
编辑：Shubham 2023-10-25
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?

请先登录，再进行评论。

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Simulink Design Verifier 的更多信息

产品

版本

R2022a

标签

Community Treasure Hunt

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

Start Hunting!

Translated by