PolySpace Server for C/C++ 6.0

Product Description

• Introduction and Key Features
• Distributing Software Component Verification
• Configuring the Code Verification Environment

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.

The PolySpace server and client accelerate the code verification process by enabling you to detect errors before compilation and run-time testing. You can verify code correctness by performing checks and tests throughout the software development process, 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 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.