Polyspace command line execution

27 次查看（过去 30 天）
Kalai Ragu
Kalai Ragu 2024-9-20
编辑： Kalai Ragu 2024-11-13，17:03
此 个问题 已被 Walter Roberson 标记
显示标记

  2 个评论
Jatin
Jatin 2024-9-20
The error message indicates that there is an issue with providing a username when connecting to the job scheduler on "LongTerm@polyspace.emea.zf-world.com". Make sure to provide a valid username when prompted.
Kalai Ragu
Kalai Ragu 2024-9-20
@Jatin yes you are right.. but am trying to automate that step ... so not sure where to provide

请先登录，再进行评论。

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

回答（1 个）

Kothuri
Kothuri 2024-11-8，15:22
Hi Kalai Ragu,
The error message indicates that the script is not receiving a username when trying to connect to the Polyspace job scheduler. You can try the below steps to resolve the error:
  • Modify your script to include the username directly in the command. For example:
C:\Python35\python.exe
D:\Automation\D81_CNHTC\D81_CNHTC_IMP\mapfilesandbox_1.37\Application\Input\Build\EDE_AddOn\Scripts\polyspace.py -p PSW_TC297 -j -hl -op "server=LongTerm@polyspace.emea.zf-world.com" -op "author=Z0031027" -op "username=your_username" -op gen -op run -s
D:\Automation\D81_CNHTC\D81_CNHTC_IMP\mapfilesandbox_1.37\Application\Input\Build\PSW_TC297.pjt
  • Ensure that the script correctly prompts for the username if it is not provided. You might need to add a prompt in the script to ask for the username.
  • Set the username as an environment variable and modify the script to read from this variable. For example, you can use:
import os
username = os.getenv('POLYSPACE_USERNAME')
if not username:
username = input("Enter your Polyspace username: ")
  • Verify that your Polyspace configuration files are correctly set up to include the necessary details and include the username.
You can refer the below link for more info on Polyspace Bug finder
https://www.mathworks.com/help/bugfinder/run-analysis.html

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品


版本

R2020b

Community Treasure Hunt

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

Start Hunting!

Translated by