PolySpace Server for C/C++ 7.1

Distributing Software Component Verification

PolySpace Server for C/C++ streamlines the verification process by letting you queue and distribute verification jobs. By distributing verification runs to computer clusters or server farms, you free up the developer machine to perform other tasks.

Jobs are launched to the server from PolySpace Client for C/C++. The server’s queuing mechanism ensures that jobs complete efficiently. Once the verification job completes, you can download the results from the server to the client, where you can review them using the client interface.