Polyspace Client for Ada

Working with Polyspace Client for Ada

Polyspace Client for Ada provides management and visualization capabilities for verifying software. You can verify individual packages and package sets as soon as the source code is written or updated. When used with Polyspace Server™ for Ada, Polyspace Client for Ada lets you submit verification jobs to computer clusters.

Using the Polyspace Client for Ada command line or graphical user interfaces with the Eclipse IDE, you can:

• Import the source code (Ada 83 or Ada 95)
• Customize a project by target, cross-compiler, or other options
• Submit multiple verification jobs to Polyspace^® servers running on a computer cluster or computer farm
• Download data from the server to report or visualize verification results
• View a summary of your software quality metrics on a Web browser dashboard
• Focus on differences in run-time behavior compared with previous verification results

You can use Polyspace Client for Ada to support all critical activities in a software development workflow, including:

• Detecting specific run-time errors in source code
• Proving the absence of certain run-time errors
• Monitoring software quality metrics
• Creating artifacts for certification

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.