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
Accessing Software Quality Metrics Through a Web-Based Dashboard
Polyspace Server for Ada includes a Web server with a dashboard to keep track of verification jobs submitted, review progress, and view the software quality metrics of your code. The dashboard gives you a synthesized view of all your projects for software quality as it relates to run-time behavior.
You can monitor the progress of software quality, check the final status of the code, and drill down to get details.
