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

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.

[Riad]

I've just adapted the available built-in class to use the Code Prover Product. And it worked !

[Dhruvilkumar Chavada]

Hi, i am also trying to build process advisor for my project.

Did you perform SIL testing and coverage with process advisor?

[Riad]

Hi,

Do you mean using the Simulink Test Manager with the builtin task of Process Advisor ?

If yes, I didn't use it.

Instead, I've designed a custom task to run SIL/Regression tests with a third party Software (BTC Embedded Tester).

[Dhruvilkumar Chavada]

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]

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' ?