What’s New in Polyspace R2019a?
As of R2019a, Polyspace Bug Finder™ has transitioned into three new products: Polyspace Bug Finder, Polyspace Bug Finder Server™, and Polyspace Bug Finder Access™. Polyspace Code Prover has also transitioned into three new products: Polyspace Code Prover, Polyspace Code Prover Server™, and Polyspace Code Prover Access™.
Diagram outlining changes to Polyspace products.
Diagram outlining changes to Polyspace products.
There are three main drivers for these changes, which are based on feedback from customers and industry trends. These new products:
Enable team-based collaboration, so team members can review and triage Polyspace results and monitor project quality using a web-based UI.
Integrate Polyspace into different phases of the software development lifecycle. For example, developers can find bugs before submitting code to the repository, and quality engineers can review analysis results generated on the integrated build.
Allow you to use plugins and scripts to integrate Polyspace with popular bug tracking and build automation tools such as Jira and Jenkins.
How Polyspace products integrate into the software development lifecycle and enable collaboration.
How Polyspace products integrate into the software development lifecycle and enable collaboration.
The new Polyspace Access products, Polyspace Bug Finder Access and Polyspace Code Prover Access, provide new capabilities that enable software development teams to collaborate on their analysis and verification results. They provide a centralized repository with a web-based UI and have 3 main advantages:
Developers, managers, and quality engineers can triage, assign, and resolve Polyspace findings. You can create and assign bug tracking tickets, such as Jira tickets, from the web UI.
Managers and team leads can use the Polyspace Access dashboards to monitor project quality and drill down to investigate problematic files and results.
Quality and development leads can track the progress of projects against standards such as MISRA and CERT-C.
The server products, Polyspace Bug Finder Server and Polyspace Code Prover Server are static analysis and verification engines designed to run on server computers. You can easily integrate them into software development processes such as continuous integration, or CI, using scripts and plug-ins for automation tools such as Jenkins. After the analysis and verification is completed, you can automatically assign results to component owners, send email notifications to owners, and upload results to Polyspace Bug Finder Access and Polyspace Code Prover Access.
Starting in R2019a, Polyspace desktop products, Polyspace Bug Finder and Polyspace Code Prover, do not require MATLAB. Polyspace Bug Finder is the base product and it is required to run Polyspace Code Prover. There is no loss in bug finding and code proving functionality due the R2019a transition.
Product: Matlab polyspace r2019a
Version: 2019A
Supported Architectures: x64
Language: english
Supported Operating Systems: Windows 7even or newer
Size: 1DVD