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) Manage upload, download or export of Polyspace results from the Polyspace Access web interface|
|(DOS/UNIX) Run Polyspace Code Prover on code implementation of AUTOSAR software components|
|(DOS/UNIX) Import MATLAB cluster profile Run Polyspace as You Code from Windows, Linux, or other command line|
|(DOS/UNIX) Run a Code Prover verification on a server from Windows, Linux, or other command line|
|(DOS/UNIX) Import review information from previous Polyspace analysis|
|(DOS/UNIX) Create Polyspace project from your build system at the DOS or UNIX command line|
|(DOS/UNIX) Generate reports for Polyspace analysis results stored locally or on Polyspace Access|
|(DOS/UNIX) Export Polyspace results to external formats such as CSV or JSON|
|Get Polyspace installation folder|
|Run Polyspace Code Prover verification from MATLAB|
|Create Polyspace project from your build system at the MATLAB command line|
|Run Polyspace Code Prover on code implementation of AUTOSAR software components using MATLAB scripts|
|Generate reports from Polyspace analysis results|
|Generate and package options files to run Polyspace analysis on code generated from Simulink model|
|Integrate Polyspace installation with Simulink|
- 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® (Simulink®) installations.