Set Up Code Prover Analysis on Servers During Continuous Integration
You can check your code with Code Prover as part of post-submission testing. Set up scripts that run a Code Prover analysis at regular intervals or based on new submissions. The scripts can upload the analysis results for review in the Polyspace Access web interface and send emails to owners of source files with Polyspace findings.
DOS/UNIX Commands
polyspace-access |
(DOS/UNIX) Manage upload, download or export ofPolyspaceresults from thePolyspaceAccess web interface |
polyspace-autosar |
(DOS/UNIX) RunPolyspaceCode Proveron code implementation of AUTOSAR software components |
polyspace-code-prover-server |
(DOS/UNIX) Run a Code Prover verification on a server fromWindows,Linux, or other command line |
polyspace-comments-import |
(DOS/UNIX) Import review information from previousPolyspaceanalysis |
polyspace-configure |
(DOS/UNIX) CreatePolyspaceproject from your build system at the DOS or UNIX command line |
polyspace-report-generator |
(DOS/UNIX) Generate reports forPolyspace分析结果存储locally or on Polyspace Access |
polyspace-results-export |
(DOS/UNIX) ExportPolyspaceresults to external formats such as CSV or JSON |
MATLAB API
Topics
- Run Polyspace Code Prover on Server and Upload Results to Web Interface
Check code after submission for run-time errors and upload results for review in web interface.
- Send Email Notifications with Polyspace Code Prover Server Results
Send e-mails to developers with attachments containing links to Polyspace results.
- Create Polyspace Analysis Configuration from Build Command (Makefile)
Reuse build commands (makefiles) to configure the Polyspace analysis.
- Sample Scripts for Polyspace Analysis with Jenkins
Get a head start on scripting Polyspace runs with sample scripts for the Jenkins plugin.
- Offload Polyspace Analysis from Continuous Integration Server to Another Server
Send analysis to dedicated server, download results after analysis and then upload to Polyspace Access for review.
- Integrate Polyspace Server Products with MATLAB
Run a post-installation step to link your Polyspace and MATLAB®(万博1manbetx仿真软件®) installations.