polyspace automation standalone script for BF and CD

4 次查看（过去 30 天）
basheer
basheer 2023-9-4
回答： Shubham 2023-9-4
After Integration polyspace 2019a with matlab 2015b few commands like polyspace-bug-finder and polyspace-code-prover not worked. it shows error like due to different releases not work. please suggest how to get the polyspace bf and cd reports through scripting.

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

采纳的回答

Shubham
Shubham 2023-9-4
Hi basheer,
I understand you are not able to use commands like polyspace-bug-finder and polyspace-code-prover in Polyspace R2019a after integration with MATLAB R2015b.
From R2019a onwards, Polyspace Bug Finder and Polyspace Code Prover have become standalone products separate from MATLAB/Simulink. As a result, integrating Polyspace with MATLAB/Simulink requires additional steps to be performed.
Refer to this MATLAB Answers for more info
How do I use Polyspace with Simulink? - MATLAB Answers - MATLAB Central (mathworks.com)
How do I install Polyspace for R2019a and later? - MATLAB Answers - MATLAB Central (mathworks.com)
After correctly configuring Polyspace, you will be able to use those Polyspace commands.

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Introduction to Installation and Licensing 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by