PolySpace Client for C/C++ 7.1
Product Description
- Introduction and Key Features
- Working with PolySpace Client for C/C++
- Reviewing Results
- Verifying Program Dynamics
- Errors Detected
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. |
Store
