PolySpace™ Client™ for Ada 5.1.1

Product Description

• Introduction and Key Features
• Working with PolySpace Client for Ada
• Verifying Program Dynamics
• Typical Run-Time Errors Detected

Working with PolySpace Client for Ada

You can use PolySpace Client for Ada with PolySpace Server for Ada to support three key activities in the software development workflow. You can:

• Verify and monitor code correctness at all stages of the software development process
• Find and correct run-time errors during coding
• Verify overall application integrity and quality levels

Together, PolySpace Client for Ada and PolySpace Server for Ada can be flexibly deployed within your group. For example, you can use one client with multiple servers to accelerate code verification, or use one server with multiple clients to enable several individuals or teams to view server results at the same time.

PolySpace Client for Ada provides graphical user interfaces that let you:

• Import the source code (Ada 83 or Ada 95)
• Customize a project by target, cross-compiler, and other options
• Monitor the status of jobs submitted to the server
• Download and visualize verification results

You can also interact with PolySpace Client for Ada from the command line.