Polyspace Code Prover

Automating Code Verification Process

You can use Polyspace Code Prover as part of a continuous integration process by incorporating Polyspace into your build process. You can automate verification job scheduling and set up email notifications. You can assign Polyspace Code Prover to schedule the posting of a verification job to a cluster computer (using MATLAB Distributed Computing Server), and receive email notifications when the results are available. Results contain the differences compared with the previous version of your code, which the server computes automatically.

You can define the frequency of these analyses, the quality model you want to apply for a given portion of your code base, and the emails you want your users to receive when the results are available. Also, you can define which characteristics of the build process you want the automated verifications to encompass.

Next: Creating Certification Artifacts

Try Polyspace Code Prover

Get trial software

Comprehensive Static Analysis Using Polyspace Products

View webinar

Learn to Find, Analyze, and Fix Run-Time Errors in Your Code

Explore how