Polyspace Server for Ada

Distributing Software Component Verification

Polyspace Server for Ada 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 computer on your developer’s desktop to perform other tasks.

Jobs are launched to the server from Polyspace Client for Ada. The server’s queuing mechanism ensures that jobs complete efficiently. Once a verification job completes, you can download the results from the server to the client, where you can review them using the client interface or view a dashboard summary of software quality metrics via a Web browser.

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.