Polyspace Server for Ada

Introduction

Polyspace Server™ for Ada provides code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code. For faster performance, Polyspace Server for Ada lets you schedule verification tasks to run on a computer cluster. Jobs are submitted to the server using Polyspace Client™ for Ada. You can integrate jobs into automated build processes and set up e-mail notifications. You can view defects and regressions via a Web browser. You then use the client to download and visualize verification results.

Key Features

• Web-based dashboard providing code metrics and quality status
• Automated job scheduling and e-mail notification
• Multiserver job queue manager
• Verification report generation
• Mixed operating system environment support

Code verification workflow with Polyspace Client for Ada and Polyspace Server for Ada. The queue manager receives the Polyspace verification request and selects the first available server to run the job.