Polyspace command line execution

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=[e-mail]" -op "author=Z0031027" -op gen -op run -s D:\\Automation\\D81_CNHTC\\D81_CNHTC_IMP\\mapfilesandbox_1.37\\Application\\Input\\Build\\PSW_TC297.pjt

Error:

PyDep is now checking required python packages

2024-09-20 12:11:38,563 [INFO] Started by z0031027 in CN3C01086 at 2024.09.20 12:11:38 India Standard Time with script version 1.43

2024-09-20 12:11:38,563 [INFO] 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=[e-mail] -op author=Z0031027 -op gen -op run -s D:\\Automation\\D81_CNHTC\\D81_CNHTC_IMP\\mapfilesandbox_1.37\\Application\\Input\\Build\\PSW_TC297.pjt

2024-09-20 12:11:38,573 [INFO] edeaddon_common.py: Collecting files from EDE pjt file 'D:\Automation\D81_CNHTC\D81_CNHTC_IMP\mapfilesandbox_1.37\Application\Input\Build\PSW_TC297.pjt'

2024-09-20 12:11:38,615 [WARN] polyspace.py: Post-preprocess perl script not found!

2024-09-20 12:11:38,620 [WARN] polyspace.py: Post-preprocess perl script not found!

2024-09-20 12:11:38,627 [INFO] polyspace.py: Updating scanc files.

2024-09-20 12:11:38,649 [INFO] polyspace.py: Updating scan include and user include files.

2024-09-20 12:11:38,659 [INFO] polyspace.py: Polyspace codeprover start Analysing, Please wait ...

2024-09-20 12:18:42,537 [ERRO] Command Failed!

2024-09-20 12:18:42,538 [INFO] Connecting to [e-mail] scheduler...

2024-09-20 12:18:42,540 [INFO] Checking security policy of [e-mail] scheduler...

2024-09-20 12:18:42,541 [INFO] ***

2024-09-20 12:18:42,541 [INFO] *** MJS is running with security level 2 on [e-mail].

2024-09-20 12:18:42,542 [INFO] *** Enter the username for your jobs on [e-mail].

2024-09-20 12:18:42,542 [INFO] *** This username identifies your jobs so that others know who owns them.

2024-09-20 12:18:42,543 [INFO] *** Username: *** Warning: You cannot provide an empty username.

2024-09-20 12:18:42,544 [INFO] *** Please enter a non-empty username.

2024-09-20 12:18:42,545 [INFO] *** Username: *** Warning: You cannot provide an empty username.

2024-09-20 12:18:42,545 [INFO] *** Please enter a non-empty username.

2024-09-20 12:18:42,546 [INFO] *** Username: Warning: 'polyspace-code-prover-nodesktop' will be removed in a future release.

2024-09-20 12:18:42,546 [INFO] | Using 'polyspace-code-prover' instead.

2024-09-20 12:18:42,547 [INFO] Error: You cannot provide an empty username

2024-09-20 12:18:42,548 [INFO] Finished at 2024.09.20 12:18:42 India Standard Time

2024-09-20 12:18:42,548 [INFO] Execution Time: 423.99s

2024-09-20 12:18:42,549 [ERRO] Exiting with Error Code 1

About Info:

------------------------------------------------------------------

Polyspace Bug Finder 3.3 (R2020b Update 5)

License number: XXXXXX

Operating System: Windows NTx x64

------------------------------------------------------------------

Polyspace Bug Finder Version 3.3 (R2020b Update 5)

Polyspace Code Prover Version 10.3 (R2020b Update 5)

------------------------------------------------------------------

Machine Hardware Configuration:

* Number of physical cores : 4

* Number of logical cores : 4

* CPU frequency : 3.96GHz

* CPU type : amd64

* Memory : 15.83GB

* Swap : 31.83GB

* tmp free space : 463MB in C:\temp

------------------------------------------------------------------

Machine Software Configuration:

Windows NTx x64

------------------------------------------------------------------

Polyspace related licenses and license feature names:

Polyspace Bug Finder: Polyspace_BF Polyspace_BF_Engine

------------------------------------------------------------------

Polyspace Access:

http://localhost:9443/

------------------------------------------------------------------

Job scheduler host name:

[e-mail]

[Jatin]

The error message indicates that there is an issue with providing a username when connecting to the job scheduler on "[e-mail]". Make sure to provide a valid username when prompted.

[Kalai Ragu]

@Jatin yes you are right.. but am trying to automate that step ... so not sure where to provide

[Rena Berman]

(Answers Dev) Restored edit but removed license #

Answer 1

[Kothuri]

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=[e-mail]" -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