Polyspce bug finder and code prover

1 次查看（过去 30 天）
Dhruvilkumar Chavada
评论： Dhruvilkumar Chavada 2024-3-20
Hi, I am working on a project where I am using Process advisor to automate design check, code generation and polyspace tasks.
I took reference from the built-in example,
processAdvisorExampleStart
When I am performing code complaince and code prover through process advisor app, I am getting following error:
Task 'padv.builtin.task.AnalyzeModelCode' threw unhandled exception 'Cannot read from source: D:\Aerospace\Subjects\Master_thesis\process_advisor_pilot\ExampleProject\battery_ctrl_sw_dev-dev\Design\vout\code-verification\do331_jobs_CodeDefectAnalysis\cl_slave\PolyspaceProject_BugFinder.pdf.'
Task 'ProveCodeQuality' threw unhandled exception 'Cannot read from source: D:\Aerospace\Subjects\Master_thesis\process_advisor_pilot\ExampleProject\battery_ctrl_sw_dev-dev\Design\vout\code-verification\do331_jobs_CodeProving\cl_slave\PolyspaceProject_Developer.pdf.'
Apparently, this two files are available in the mentioned folder and results are also stored in these pdf for respective tasks.
But the task is not able to rename the artifact to the current model name and thus this error occurs all the time.
I tried checking documents but there is no solution for such error.
  2 个评论
Shivam
Shivam 2024-3-19
编辑：Shivam 2024-3-20
Hi Dhruvilkumar,
Could you attach the related files for me to debug the issue?
Also, please confirm if read/write permissions are ensured for the process advisor for these files, and also since windows has the maximum path limit and based on error message it seems like error could be due to a long path name, repeat the process with shorter path of the files.
Let me know if it resolves the issue.
Dhruvilkumar Chavada
Dhruvilkumar Chavada 2024-3-20
So the problem is, when i perform let's say code compliance it creates a folder name name cl_slave in out\code-verification\do331_jobs_CodeDefectAnalysis\ path. when i debugged, i saw that the process create another folder cl_slave_1 with subfolder cl_slave in above mentioned path and then stores everything there. When it comes to result checking and document generation, the process try to find result in cl_slave folder.
As the process is creating two folder with same name and then getting confuse between two and thus this error arise.

请先登录，再进行评论。

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

回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Run Settings 的更多信息

标签

产品


版本

R2022b

Community Treasure Hunt

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

Start Hunting!

Translated by