Is there a builtin 'Polyspace Code Prover' job within Process Advisor available ?

3 次查看（过去 30 天）

Riad 2023-9-11

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2019371-is-there-a-builtin-polyspace-code-prover-job-within-process-advisor-available

评论： Riad 2024-1-15

Hello,

I am wondering if is there a builtin job for the Polyspace Code Prover (or maybe just a parameter to set) within the Process Advisor (Matlab 2022b). Indeed, I've figured out how to use the builtin job for the 'Polyspace Bug Finder' and it's working well. But the second product of Polyspace seems not be provided. Or, should I created from scratch ?

Or maybe because that the gnerated code of the Embedded Coder is optimized to pass the 'Polyspace Code Prover' Test ?

With dvance thanks.

Riad Boukhari.

5 个评论
显示 3更早的评论隐藏 3更早的评论

Dhruvilkumar Chavada 2024-1-12

Yes, I want to test SIL with test manager or SIL/PIL app with process advisor and want to use same test case that is used for MIL test execution.

In theit built-in task, TastsperTestCases they have mentioend that, this task is generic task to perform MIL and SIL test.

When we change the property of padv.builtin.task.RunTestsPerTestCase SimulationMode to 'Software-in-the-Loop (SIL)' it should work, but still it is performing test in normal mode.

Riad 2024-1-15

If we dive inside the 'RunTestsPerTestCase.m' task we can see that the SimulationMode is avaiable only from Matlab version 2023a (I am using CI/CD Automation for Simulink Check 22.3.13 version tho). If not, the tests will run without carring about the choice that you've made:

So, what Matlab version are you using, and if it's not 23a or latter, did you have the warning message 'padv_spkg:tasks:SimulationModePropertyNotSupported' ?

请先登录，再进行评论。

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