Polyspace Server for Ada
Product Description
- Introduction and Key Features
- Distributing Software Component Verification
- Accessing Software Quality Metrics Through a Web-Based Dashboard
- Automating Verification Job Scheduling and Integrating with E-Mail Notifications
Distributing Software Component Verification
Polyspace Server for Ada streamlines the verification process by letting you queue and distribute verification jobs. By distributing verification runs to computer clusters or server farms, you free up the computer on your developer’s desktop to perform other tasks.
Jobs are launched to the server from Polyspace Client for Ada. The server’s queuing mechanism ensures that jobs complete efficiently. Once a verification job completes, you can download the results from the server to the client, where you can review them using the client interface or view a dashboard summary of software quality metrics via a Web browser.
