PolySpace Server for C/C++ 7.2
Product Description
- Introduction and Key Features
- Distributing Software Component Verification
- Configuring the Code Verification Environment
Introduction
PolySpace Serverâ„¢ for C/C++, in conjunction with PolySpace Clientâ„¢ for C/C++, provides code-based verification that proves the absence of overflow, divide by zero, out-of-bounds array access, and other run-time errors in source code. With PolySpace Server for C/C++ you can accelerate code verification by performing the verifications on a computer cluster. Jobs are submitted to the server using PolySpace Client for C/C++. You then use the client to download and visualize verification results.
Key Features
- Queue manager for dispatching multiple verification tasks to multiple servers
- Verification report generation
- Support for mixed operating system environments
- Ability to run verification tasks on multicore servers
Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++. The queue manager receives the PolySpace verification request and selects the first available server to run the job. Click on image to see enlarged view. |
Store
