PolySpace Server for C/C++ 7.1

Configuring the Code Verification Environment

The PolySpace® client and server can be deployed to single-user environments or to integrated development teams. Multiple workflows are supported. For example, you can use one server with multiple clients, enabling several individuals or teams to view and analyze verification results at the same time, or use one or more clients with multiple servers, accelerating code verification. The client and server can run on different operating systems.

You can use the PolySpace server and client to support all critical activities in a software development workflow, including:

• Verifying software component integrity and quality under normal and abnormal usage conditions
• Monitoring code quality trends
• Finding and correcting errors during the coding process before test
• Proving the absence of run-time errors in the software component

Multiple PolySpace clients with one PolySpace server. Click on image to see enlarged view.

Multiple users with multiple PolySpace clients interacting with multiple PolySpace servers on a computer cluster. One PolySpace verification request is posted to the first available server, which executes the job and makes it available for download from the client. Click on image to see enlarged view.