PolySpace Client for C/C++ 7.1

Working with PolySpace Client for C/C++

PolySpace Client for C/C++ provides management and visualization capabilities for verifying software components on a desktop computer. It processes file-by-file or class-by-class verification as soon as the source code is written, updated, or generated. When used with PolySpace Server for C/C++, PolySpace Client for C/C++ lets you submit verification jobs to computer clusters.

Using the PolySpace Client for C/C++ command line, graphical user interfaces, or Eclipse™, you can:

• Import source code
• Customize a project by target, cross-compiler, or other options
• Check code for compliance with MISRA C® or JSF++ (Joint Strike Fighter Air Vehicle C++) standards
• Monitor the status of jobs submitted to PolySpace Server for C/C++
• Download data from the server to report or visualize verification results
• Document and log verification results

PolySpace Client for C/C++ supports multiple workflows. For example, you can:

• Submit multiple verification jobs to PolySpace® servers running on a computer cluster or compute farm
• Use one client to verify source code files or classes on a desktop computer
• Use one server with multiple clients, enabling several developers to view and analyze verification results at the same time

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.